Merge pull request #4927 from RosettaCommons/revert-4926-revert-4897-dpaoliello/noreturn Re-merge "Use the C++11 `[[ noreturn ]]` attribute"