formalize grammar of timestamp strings and use nom to parse them

formalize grammar of timestamp strings and use nom to parse them #485