[core] Try out a boost::format replacement.#5234

fruffy wants to merge 5 commits intomainp4lang/p4c:mainfrom

fruffy/boost_formatp4lang/p4c:fruffy/boost_formatCopy head branch name to clipboard