Added interface board LEDs implementation.

Also corrected some other things in HAL.
Added some spiffy AI in Practica_2 (i.e. the IBLEDs now light one at a
time).