A few small changes

1. Actually installed auctex, so it loads on startup

2. Rather than making variable-width font the default and turning it off
in prog-mode, we explicitly turn it on in text-mode

3. Enable flyspell for text and programming buffers