Improved Explorer board example to work with final explorer API (previously only worked with beta API.)
Added pin name annotations to LPC13xx header GPIO pin events.