Deleted unused host configurations.
Assume that auctex is installed by the system.
Add latex support for doctor.