Atualizacao do makefile.

O makefile voltou a usar o clang como compilador, pois ele mostra mensagens de
aviso e erro melhor. Alem disso foi adicionado outro parametro para o Splint.
Adicao dos testes do modulo de Interface.

Foi adicionados testes, usando a plataforma de testes unitarios CUnit, para
testar as funcoes do modulo de Interface