A debouncing InterruptIn wrapper

ButtonIn.h/shortlog@e806603f0088: not found in manifest