Update crunch to follow mirage-type signature
Add a basic test to check whether the generated files can be compiled properly
Update the top-level Makefile
Add copyright