Pic24 port

Initial port of Contiki to Microchip pic24 and dspic