Build: Remove build-time support for running splint.

This is a C linter that sees commits only very seldomly, and there's no
references in the booth git log to any commits to fix problems by
splint. This leads me to believe that probably no one is actually
running it.