added debounce code for two push buttons, but it's not exactly what we want