Various updates.

* Added .gitignore file.
* Removed package build.
* Clean Main module with basic VML functionality (parse and HTML
report).
* Fixed problems in parser definitions for VML and Promela.
* Regenerated parser HTML reports and Haskell modules using imparse.