Updated the docs (spent most time in renaming the abstract machines chapter  - did not check whether it still works)