Added explicit handling for a few std exception types that were missing from boost::current_exception().