Adds AucTeX