Updated .gitignore
Merge pull request #1 from jeroenk/cmake

Migrate Makefile over to cmake
Merge pull request #2 from jeroenk/scripts

Copy the invocation scripts
I don't think headers should be listed here.
This should be contained in "llvm-config --cxxflags" if needed.
More consistent layout.
This should not hurt.
Removed Macros.h, the only macro is only used in one file.
Add some hierarchy to the source files
Merge pull request #3 from jeroenk/reorg

Add some hierarchy to the source files
Moved gmp_kittel to Util.
Moved InstNamer to Transform.
RewriteSystem -> IntTRS
Add header files to libraries
Support current LLVM 3.5
Merge pull request #4 from jeroenk/header

Add header files to cmake "libraries"
Make conversion to mpz_class explicit
Revert the change to Polynomial.cpp
Reinstate override and turn is_class into a macro
Forgotten override