correcting overview enabling bug
Merge branch 'milestone-1.1.2' of github.com:soctrace-inria/ocelotl into milestone-1.1.2