Observatorios del Teide, PUERTO DE LA CRUZ