Add a .gitignore file

This makes Git ignore the directories that are generated with `make
html`.