Add docs/ dir to .gitignore

I dump various PDF:s in the docs/ dir but
don't want to upload them to github.