Run `strip` on binaries before publishing them

[Sylvie]

Now that we use C++, there are a lot of mangled symbol names in the source code, increasing binary sizes by 10-20%. Stripping the release builds we publish will fix this. (For comparison, the 0.7.0 C binaries did not change in size at all when stripped, so this is just making them more directly comparable.)