Updated to keep consistent with README.org

Updated according to the new version of the README.

Added some explanations and links to some extra documentation
(One cheat sheet and Gitlab's doc about Git).

Updated to keep consistent with .org documentation.

Explains what you need to do to update your fork, add SSH keys, etc.

Generated with "gradle wrapper"

The state was not updated (S => S').

Not sure if "arr" was supposed to be there?

Closes #10

Closes #13

While loops were broken for cases where the body would expand to
multiple IR blocks (e.g. contained an if statement).

Closes #34