Hedgewars server with docker