Changing aux to misc to avoid problems on Windows

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.