Automate most of the 3C code style checks.#716

mattmccutchen-cci wants to merge 3 commits intomaincorrectcomputation/checkedc-clang:mainfrom

automate-style-checkscorrectcomputation/checkedc-clang:automate-style-checksCopy head branch name to clipboard