add `--server` to mono options

It's supposed to improve performance: http://www.mono-project.com/Release_Notes_Mono_3.2