Disable sorting of names before mangling to provide stable name mangling

and to decrease file size after gzipping. fixes #37, see also https://github.com/mishoo/UglifyJS2#mangler-options