Created interface for transactions with contention management
Big refactoring on SwissTM algorithm.

Separate classes for ReadLog and WriteLog from Context.
More comments.
Changed the name of some classes.