Fixed off by one bug. Added support for early aborting.
Made a distinction between internal aborts and retries.
Merge branch 'master' of https://github.com/gereeter/pure-stm