This update for robin-map fixes the following issues:

Update to version 1.3.0:

* Add erase_fast(iterator pos) method which in contrast to
erase(iterator pos) doesn't return an iterator, avoiding the
cost of looking for the next element after erasure of the
element at iterator pos.

Changes of version 1.2.2:

* Specify library version & versioning rules in headers
* Mark error_message in numeric_cast as unused to avoid compiler
warning in some cases
* Remove support for CMake < 3.3