Revert "brat debug dumps"

This reverts commit 4df586dafc31f419a6f0070c01f06f42310eab70.
Accept args in nimrodel-on-dir

Lets us change the format without messing with nimrodel source
Mechanism to run nimrodel repeatedly on the same file
Also dump heap on kowey-datr
Timing: print atoms, clauses, functors
Replace a foreach by forall

Should not make a difference here