Shrink exes with strip and upx

[Matt Jones]

Since we are usually linking statically, the exes are huge. Think 5 to 6 MB. We can shrink them to like 1 MB with strip and upx.

In the config add these options:

server > is_shrank_with_strip:bool
server > is_shrank_with_upx:bool

They can be called on the cli like:

strip --strip-unneeded server
upx -9 server

[Matt Jones (workhorsy)]

FYI strip is in the binutils package.