The instructions have been migrated to https://docs.hedgedoc.org/setup/docker/
To reduce confusion, they should not be duplicated here.
Signed-off-by: David Mehren <git@herrmehren.de>