Strip Binary Releases

[mjkalyan]

The binary releases should be stripped to make it smaller for distribution via package managers.

More of a suggestion than a feature but it's not a bug either - sorry if the label is off.

[zesterer]

We deliberately don't do this. Crashes are usually rare, but we want to have a useful backtrace when they do occur. However, we are discussing ways to minimise the debugging information to improve the debugging quality vs file size tradeoff.