Updated with version 1.0.4b
Merge branch 'gh-pages' of https://github.com/soctrace-inria/ocelotl into gh-pages