Add the -no-native-compiler argument to coqtop
Also symlink lib
Revert "Also symlink lib"

This reverts commit 125f7e88d77986ea6a96d92ff3c6579cf6026f56.
Print out source