Compiling BATSH

I am happy, because it removes one more item (once released on opam) from this list: The end of Camlp4 - List of packages that still use it.