initial version of the script.
Merge branch 'master' of github.com:gmalecha/coq-checkless
adding 'clean' target, moving to README.md