Fixed bug #90; added color settings for overview (issue #89); changed configuration file format to json
Merge branch 'milestone-1.1.1' of github.com:soctrace-inria/ocelotl into milestone-1.1.1