A time server for synchronizing networked machines' clocks - View it on GitHub