Add the -no-native-compiler argument to coqtop

It's required for a Coq built without that argument to not complain
about various things.