Use ISO format for timestamp in mutex file

[falkoschindler]

In case another developer wonders, when a remote machine was synced, a human-readable time format would help.

[falkoschindler]

Implemented in 08854da