adapt to the new version of coqtop by disabling the native compiler
Merge pull request #114 from ybertot/master

Make the library work with the current version of HoTT/coq trunk