Back to the JSON serialization
Rename classes
Fix a broken compilation
documentation
Quick tests
More tests
JSONConvertException to report parsing problem.

Switch from json-simpe to json-smart.
Fix SatConstraintsConverter
Fix ModelViewsConverter
Prepare for relase
version dump