Modify compiler options

Send modifications of compiler options to the server.
Merge pull request #67 from tdurieux/compilation-option

Modify compiler options