New Mirari

Mirari now defines a configuration type for each possible implementation of the module types defined in mirage-types. It then generates the right files to be able to compile the projet for the different backends.
Use oasis
Add some basic test (which are currently failing)
Update autogen files