goto-contracts: Separate front-end for contracts#6526

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:goto-contractstautschnig/cbmc:goto-contractsCopy head branch name to clipboard