Arduino: added patch for Time library (for IDE 1.5.7)