looked at MicroChip's website. They do have SW development tools that include a C compiler and an assembler
It looks like its not a free download however, so if this is what FIRST is planning on using, I guess the SW will be part of the kit.
You can look around the MicroChip website to see what kind of stuff they have - here is a page that has one of their C compilers:
http://www.microchip.com/1010/pline/...ab17/index.htm