Remove doc/ directory and add to .gitignore