Add make theory script

Generate all theories, with same signatures together.
It optional to generate with template haskell filenames.

Run with

python mk_thy.py all

or to use $(fileName):

python mk_thy.py all_th