docs: update .all-contributorsrc [skip ci]

Author: allcontributors[bot]

.all-contributorsrc

@@ -12956,6 +12956,15 @@
       "contributions": [
         "code"
       ]
+    },
+    {
+      "login": "tomrpl",
+      "name": "Reppelin Tom",
+      "avatar_url": "https://avatars.githubusercontent.com/u/75627352?v=4",
+      "profile": "http://www.linkedin.com/in/tom-reppelin",
+      "contributions": [
+        "tool"
+      ]
     }
   ],
   "contributorsPerLine": 7,