Slightly clean-up the OOInteraction tests
Add a basic save command
Fix an embarrassing copy/paste bug that makes reference resolution crash
Do not use background list colors for lists of code contract statements
Change to color scheme of list element background to white/gray
Clarify a few code style things in the contribution guidelines