Avoid confusion about the bot interface

Publish binaries with the bot interface from the master branch, introduced 2019-07-20 (commit e998769)
Also, adapt guides to point to the versions of bots and dev tools which are compatible with this version of the console.