Debounce Library

[mem]

I am using Linux and therefore can not use Arduino 12. I will make the modifications once Arduino 12 becomes available ...

FYI if you add that include it will work in both 0011 and 0012.