map-ghe.csv.in: Update

Author: Matthias Koeppe

map-ghe.csv.in

@@ -1902,3 +1902,6 @@ user,https://github.com/zerline,https://@HOST_IP@/zerline,map,
 user,https://github.com/pgxiao,https://@HOST_IP@/pgxiao,map,
 user,https://github.com/uduse,https://@HOST_IP@/uduse,map,
 user,https://github.com/rosirot,https://@HOST_IP@/rosirot,map,
+user,https://github.com/sagetrac-marc-fuentes,https://@HOST_IP@/sagetrac-marc-fuentes,map,
+user,https://github.com/takluyver,https://@HOST_IP@/takluyver,map,
+user,https://github.com/Stefan,https://@HOST_IP@/Stefan,map,