Add support for MergeSat#6439

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

tautschnig:mergesattautschnig/cbmc:mergesatCopy head branch name to clipboard