Admin/churn

Sledgehammer should be called in "prove" mode;
otherwise the proof text won't fit into the proof document

#!/bin/bash

ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
cd "$ADMIN"
hg churn --aliases user-aliases --progress