Arduino library to manage push buttons