description of the translation from GV to CP and other stuff
Merge branch 'esop2015' of github.com:jgbm/cpgv into esop2015