Git-pre-push hook broken

The pre-push hook doesn't work because it needs dune.common. We could assume that a build dir is present and use the virtualenv to run?