Installs hedgedoc in docker