[xmonad] darcs patch: strip generated binary

This noticeably cuts down the size of the generated binary; on x86_64: 6.1M before 3.7M after Or if the symbols are in some way useful, it wouldn't be difficult to add a command line option to not strip. Adam