Build system improvements#2

davidmalcolm merged 15 commits into

davidmalcolm:masterdavidmalcolm/gcc-python-plugin:masterfrom

kevin-dot-pyle:masterkevin-dot-pyle/gcc-python-plugin:masterCopy head branch name to clipboard