Run strip on libflint.so after building Flint - #147

Run strip on libflint.so after building Flint#147

oscarbenjamin wants to merge 3 commits into

flintlib:masterflintlib/python-flint:masterfrom

oscarbenjamin:pr_strip_flintoscarbenjamin/python-flint:pr_strip_flintCopy head branch name to clipboard