deploybot

This release includes bug fixes and a new bot for code deployment on a server.
Testing for all bots is still missing.