Add spell checking with Sphinx

You can check spelling in the documentation with:

make spelling

from within the docs/ directory, and add new words to the local dictionary with docs/spelling_wordlist.txt.