add hidden violation graph; correct a bug in DVMS; add a first implementation of DVMS3; correct some bugs
Merge branch 'master' of https://github.com/BeyondTheClouds/SimgridInjector