Correcao do makefile.

O makefile estava com uma contra-barra em um local indevido e isso causava
problemas no make com a target "splinttest". Portanto, a parte responsavel pelo
teste com o Splint foi modificada e corrigida de modo que esse teste agora e'
feito de modo mais correto.