Cleanup build
Add more tests for errors
Rename VampireMacros to Macros. Minor cleanups.
Putting it under the Scala license as all other projects in the lab.
Merge pull request #23 from gzm0/cleanup-project

Cleanup project
Merge pull request #26 from vjovanov/license

Putting it under the Scala license as all other projects in the lab.