fixed crashlogger + optimized logging
Merge remote-tracking branch 'refs/remotes/origin/optimize-logging' into origin-1.6

Conflicts:
	src/node/sync_backend.ml