Added GMU version of Total Order Manager

* Now, the transactions does not create any read -> read dependecies,
i.e. the only dependencies are between read -> write, write -> read
and write -> write.