Revert "Remove support for stripping executables"
People did not like this change.
This reverts commit e0be794a71be25a350f68287ee291b4942bcb7d8.