Add Splint to makefile