Added a "template language" for NetKAT

Run

./katnetic.byte runtemplate examples/templates/Chapter7.kat
./katnetic.byte runtemplate examples/templates/Chapter8.kat

etc.

These are solutions to the Frenetic tutorial, done with the template syntax. They
are a lot shorter than the older solutions.

Basic implementation idea:

- Running a template program produces a NetKAT policy as an output value
- Template language is simply typed and guaranteed to terminate
- Simple, bi-directional type-checker