Support vpath builds and use them for coverage measurement#461

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:build-systemtautschnig/cbmc:build-systemCopy head branch name to clipboard