Bench: Logging actions

A new log directory is now generated when bench is in progress,
containing all log files, named with this pattern,
`formula.<FORMULA NB>.[bb.].log`.
1 job for hm/global in 2 minutes and 25 seconds (queued for 3 seconds)