Facebookが高精度時刻同期システムをオープンソースへ、構築コストが従来の数分の1に