Updated TeX-mode to load RefTeX properly at start.

In addition:
- modified the latexmk to use -shel-escape
- fixed the auto-fill
- fixed the 'proof' environment

Signed-off-by: JP-Ellis <coujellis@gmail.com>