Fully automatic .koat -> .ces conversion
Handle more variables in Koat -> C conversion
Use current conversions on all examples
Bugfix: Always put meta-information in extra line in result table
Update documentation about experiments