once at end of a coq file, compile it!
Merge pull request #7 from hannesm/compile-at-eof

once at end of a coq file, compile it!