Temporarily pin react-router-dom to version 5.2.0
Temporarily pin react-router-dom to version 5.2.0

Because of https://github.com/remix-run/react-router/issues/8075
we want to delay upgrades until this is resolved.

sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec