Added "splint" as a target to simplify running splint on all sources.