Merge pull request diffblue#5498 from hannes-steffenhagen-diffblue/cb…

…mc-version-bump-5.14.2

Bump CBMC version to 5.14.2

Merge pull request diffblue#5496 from hannes-steffenhagen-diffblue/bu…

…mp-cbmc-version

Bump CBMC version to 3.14.1

Merge pull request diffblue#5493 from hannes-steffenhagen-diffblue/cb…

…mc-5.14-bump

Bump CBMC version to 5.14.0

Merge pull request diffblue#5468 from hannes-steffenhagen-diffblue/CD…

…/create-homebrew-pr-on-release

Add github action to create PR against homebrew-core on release

Merge pull request diffblue#5467 from hannes-steffenhagen-diffblue/bu…

…mp-cbmc-version

Bump CBMC version to 5.13.0

Merge pull request diffblue#5439 from hannes-steffenhagen-diffblue/CI…

…/macos-10.15-github-action

Add github action to do CI checks against macOS

Merge pull request diffblue#5441 from danpoe/fixes/enum-underlying-types

Correctly interpret underlying type specification of enums

Merge pull request diffblue#5419 from markrtuttle/fix-cmake-install-s…

…ymlinks

Add DESTDIR to cmake symlinks

Merge pull request diffblue#5416 from hannes-steffenhagen-diffblue/fi…

…x/human-readable-error-on-wrong-main-signature

Add human readable error message for invalid main signatures

Merge pull request diffblue#5409 from hannes-steffenhagen-diffblue/fi…

…x/do_not_use_side_effect_expr_nondett_in_goto_harness

Do not use side_effect_expr_nondett in recursive_initialization