ci: rename Gankro to Gankra in toolstate

Author: pietroalbini

src/tools/publish_toolstate.py

@@ -30,7 +30,7 @@
     'rls': '@Xanewok',
     'rustfmt': '@topecongiro',
     'book': '@carols10cents @steveklabnik',
-    'nomicon': '@frewsxcv @Gankro',
+    'nomicon': '@frewsxcv @Gankra',
     'reference': '@steveklabnik @Havvy @matthewjasper @ehuss',
     'rust-by-example': '@steveklabnik @marioidival @projektir',
     'embedded-book': (