Remove bat dependency
Add ocamlbuild support
Merge branch 'master' of https://github.com/aeolus-project/zephyrus

Conflicts:
	configuration_generation.ml
remove menhir dependency
Merge pull request #2 from abate/master

Merge Pietro's commits introducing ocamlbuild.