Update doc/Bots/installation_HelloHttpBot.md