Modificacao do makefile.

O makefile foi modificado e agora nao possui mais a tag "splinttest", de modo
que toda a parte que testava o projeto com o splint foi removida. Isso foi feito
devido ao fato de que os desenvolvedores desse projeto acham o splint uma
ferramenta ruim para testes, pois mostra mensagens imprecisas e acusa erros
em bibliotecas padroes que nao podem ser alteradas.

Esse programa de teste so' foi utilizado ate agora por ser requisito para o
trabalho da disciplina Metodos de Programacao, que ja foi entregue.