Enhance Jenkins logging

Hashar requested to merge logging-config into master

Pass --logfile to Jenkins in order to write its log to a file. It is further tweaked by amending the conf/logging.properties notably:

  • prefixing messages with an ISO date.
  • default to WARNING level

Merge request reports