Added the DF name to the auction's log.

The name of the directory facilitator is added to each line, so it is
possible to identify to which DF belongs each agent. Moreover, the
syntax of the lines is changed to make it more readable.