Some refactiring of litmus driver: suppress arguments of compile functions.

1. items avoid_cycles and hints are now defined in top.ml
2. List of utilities sources computer after compilation of sources
   (in dumprun.ml)