Final product

Here is our final product, a working rewriting system. Get started by giving a look at the README, and by reading our user manual.