Cleaned up the #include directives in all the source files, and added a script to do some auto-checking of them.