README.md changes

removed github syntax highlighting because it doesn't work with other markdown viewers
added the description of the derived class invariant block