Use mv instead of cp to overwrite abella binary

This prevents the "busy text file" errors on UNIX platforms
wip: cleanup of tactics.ml
wip: cleanup of prover.ml