A debouncing InterruptIn wrapper

ButtonIn.h/shortlog@2e999fcd4c7b: not found in manifest