adding test files and models as samples, and modifying Makefile to
properly remove goal files.
Merge branch 'master' of https://github.com/kmicinski/htltl2mc