Various small documentation improvements for release v0.1

• Improve documentation to recommended development process. See https://www.eclipse.org/lists/escet-dev/msg00084.html
• Fix Chi introduction in documentation.