Add pdf files to .gitignore
Merge branch 'release' into integration/master