Optional symbol stripping in Makefile

Packaging systems have options to handle symbol stripping. This lets the users of the software enable or disable symbol stripping based on their own preference or need.

#365 (closed) !164 (closed)