Simple on/off interface for LED pins.
Since GPIO pins are synchronous in Tock the LED interface is synchronous as well.
Initialize the LED. Must be called before the LED is used.
Turn the LED on.
Turn the LED off.
Toggle the LED.
Return the on/off state of the LED.
true if the LED is on,
it is off.