Merge pull request #3427 from gadelat/logdate

Support for microseconds in CI_Log