Updated .gitignore
Latest version

In sync with the `gh-pages` branch. Of note: the `theorems.py` pandoc
filter.