Bug#35448980 Upgrade 3rd party robin-hood hash map

Upgrade extra/robin-hood-hashing/robin_hood.h with the most recent version from https://github.com/martinus/robin-hood-hashing.git This is version 3.11.5 Change-Id: Ib83460090672fb7b98d90c996e8290dd58e36256 (cherry picked from commit d461026e884bf5a6d9f2b4f8b2ede8500d9b7ce6)

Author: Tor Didriksen