Update doc/Bots/installation_HelloBot.md