Clean files. Added labels to especificacao.tex.