PIC32 support

Integrate PIC32 support into the master tree. Fixes #2.