Very simple library for easy debouncing on the Arduino platform