Time.ToStr() を実装した

時間を RFC 1123 に基づいた形式で出力できるようになりました。
副産物として、与えられた数をdig桁目までゼロ詰めする関数ができました。