Remove files that are generated by Mirage
Fix the module declarations to work better with Xen.

Cohttp_mirage is now just HTTP (provided by `cohttp-mirage-xen` or
`cohttp-mirage-unix` respectively)