0.1.1.3: Updated readme with a summary of HWhile's semantics
0.1.1.4: No changes
0.1.1.5: No changes