Overhaul of `convert_project` and related tools#724

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

convert_project-overhaulcorrectcomputation/checkedc-clang:convert_project-overhaulCopy head branch name to clipboard