robot: Remove scraping of the server number.

The server ID/number now is part of the official API, so we no longer
need to make error-prone workarounds like this.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Display server number whenever appropriate.

This is mainly useful for debugging or when using hetznerctl.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Bump version to 0.6.0.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>