Disabled linum in some more REPL modes.
Allow unicode characters under ansi-term.
Upgraded auctex mode.