Release v0.23.1

Set ssh_ping_timeout default to 5 minutes.

Since Windows has to be rebooted when the hostname is
changed, provisioning may take longer than one minute.

Signed-Off-By: Johannes Thoma <johannes@johannesthoma.com>