Propagação com lambdaP e normalização de produto interno

Propagação passa a ser feita usando o comprimento de onda do feixe de
bombeamento. Definição do produto interno em Util passa a incluir
normalização.