Makefile: Fix CC assignment from 'CC ?=' to 'CC :='
Makefile: Add support for linting with splint
Main: Some updates