Symbol mangling added.

With the flag --mangle-symbols, you can now have all your symbols mangled!
Amazing fun for all the family!