Added "doc/" to .gitignore

The doc directory stores any documentation files, which are unnecessary
to keep and can be easily made using only the code.