introduce "fast_done", a tactic that *quickly* tries to solve the goal

1 job for master
Status Name Job ID Coverage
  Test
passed buildjob #174
coq

00:03:31