Added support for Olimex PIC32 Pinguino dev board.

Board is https://www.olimex.com/Products/Duino/PIC32/PIC32-PINGUINO/