upgrade hedgedoc to 1.9.3

1 job for !188 with 166-mettre-a-jour-hedgedoc-en-v1-9-3 in 13 minutes and 48 seconds (queued for 3 seconds)
merge request