Add latest pdf, and rename others in ISO way
Merge branch 'gh-pages' of https://github.com/matteo78/tpe into gh-pages