Feature/jvstm lock-free updates

* Contains some fixes and additions.

* Upgrades Hazelcast to 3.0-RC1 (required for its total order broadcast).

* To the best of my knowledge, I consider this version to be correct. Nevertheless, there are a few optimizations required to make it usable in an efficient way.  These