Create CBMC Release 5.48.0 rebased#6559

Merged

TGWDB merged 1 commit intodiffblue:developfrom

TGWDB:20220106-release-5.48.0

Jan 6, 2022

Commits on Jan 6, 2022

Increment version number to 5.48.0
TGWDB
committed