Fix broken restore DB script
Use cabal rather than cabal-dev in Dockerfile

Typically cabal-dev (or cabal sandboxes, even) are preferable,because they build in a sandbox. When doing this on docker, however, the whole machine is a sandbox already!
Wait without busy waiting...