Add AUCTeX and a bit of configuration.