Using the library TimerOne to create a Coffee Machine with an IR sensor and a button in Arduino (using state machine and Serial port)