Simplify AUCTeX config, and bring back reftex