Math library models: add missing *BSD variants, cleanup#9020

tautschnig wants to merge 2 commits into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:math-builtins-cleanuptautschnig/cbmc:math-builtins-cleanupCopy head branch name to clipboard