TVar: initial global lock implementation.
TVar: motivation in documentation.
TVar: typos.
Merge master into tvars.
TVar: use the new ThreadLocalVar to store the current transaction.
TVar: better abort exception.
TVar demo.
Require monitor, run with more threads.
TVar: basic STM seems to work.
TVar: experiment.
Merge branch 'master' into tvars.
Merge branch 'master' into tvars.
TVar: Move documentation onto wiki.
TVars: remove branch from Travis.