Merge branch 'release-0.1.2' into development
Accept another format for timestamps.
Fix a bug in the logger.
Preparing release 0.1.3.
Merge branch 'release-0.1.3'