Incrementacao do makefile.

O makefile foi incrementado e agora um de seus modos ("splinttest") usa o Splint
para checar os codigos fontes.

Para fazer esse teste basta digitar $ make splinttest.
Correcao dos avisos mostrados pelo Splint.

Os modulos do projeto foram modificados para sanar os avisos que o Splint gerou.