Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
"-no-native-compiler" is not a project file valid option. If you want to specify that coqc should use -no-native-compiler, you need to use 
```
-arg "-no-native-compiler"
```

Where/how make that more explicit ?