The filename `aux` was reserved in the days of DOS, and that proscription has been retained to the present day. This PR therefore renames the recently-created `aux` directory to `misc` so that people can pull this repository on Windows.
Merge pull request #465 from gvwilson/gh-pages

Renaming aux to misc to avoid problems on Windows.