- add documentation
 - change BabelBase to Divine in tests and in Java, C# and Ruby generator