Atualizacao/melhora do makefile.

O makefile foi atualizado para que nao crie desnecessariamente objetos dos
codigos fontes quando o target "splinttest" estiver sendo usado para fazer
testes com o Splint (esses testes nao geram executavel, portanto nao e' preciso
gerar objetos).
Atualizacao dos testes unitarios.

O modulo de testes unitarios foi modificado para que esteja de acordo com as
mudancas feitas nos outros modulos. Nenhum teste foi adicionado, apenas foram
feitas atualizacoes nos ja existentes.

Alem disso, para acompanhar as mudancas feitas nos testes unitarios e para que
todos eles passassem, os modulos testados foram ligeiramente modificados.