Since last usage, the output of diff2html had changed. Guess the correct
version and make that an explicit check on the Java side. So from now on
we're using diff2html-cli version 2.7.0.