Feature/jvstm lock free

Preliminary version of the JVSTM lock-free implementation.