Merge branch 'master' into 'master'

EventLoaderTimepix3: change current time output log from INFO to DEBUG level.

See merge request !87
17 jobs for master in 16 minutes and 53 seconds (queued for 1 second)