Changed makefile to nonstopmode.
Fixed label naming in especificacao.tex.
Fixed identation in main.tex.