adding an install target to the makefile.
adding vm_cast_no_check.
a note about vm_cast and unification variables.
Merge branch 'master' of github.com:gmalecha/coq-checkless