Fix local reverse proxy version mismatch

Fixes #374 by not using a bespoke config file, but rather setting
the `window.domain` and `window.urlpath` via regex substitution.

This avoids using an old `window.version` that would cause the
refresh modal to popup every time after each upgrade of HedgeDoc /
CodiMD.
4 jobs for adinapoli/issue-374 in 54 minutes and 31 seconds (queued for 12 minutes and 57 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #14094
cabal

00:21:08

 
  Stack
passed #14095
stack

00:06:30

 
  Bench
manual #14096
allowed to fail manual
bench
 
  Test
passed #14097
test

00:26:53