The git repository used for hannah is renamed after each operation to
'.hannah'. This allows to use hannah inside a git repository.
Note that, hannah can't use a folder as output that already contains a
'.git'.