Feature/backend jvstm common

This merge adds the jvstm-common backend, from which we expect to derive all the JVSTM-based backends. For the time being, the jvstm-ojb backend remains independent.