Update Tools/ArduPPM/Libraries/PPM_Encoder.h

- Small optimization