An Arduino sketch for controlling an electric garage door