fix for operator< on reverse_keyt in miniBDD, fixing segfault in ebmc#1062

kroening merged 3 commits intomasterdiffblue/cbmc:masterfrom

fix_for_miniBDDdiffblue/cbmc:fix_for_miniBDDCopy head branch name to clipboard