Debounce library for the Arduino