adding autogenerated HTML so that we can refer to it from the github wiki.
removing html from it
Merge branch 'master' of github.com:GaloisInc/ppaml-eval-tools

cessary,