Updated build.xml to use new (20140530) compilers. Also bumped build number in platforms.txt up by one. Tested with Windows build, and it appears to work.
Updated build.xml to use new (20140530) compilers. Also bumped build number in platforms.txt up by one.
Tested with Windows build, and it appears to work.

ricklon/chipKIT-core,pontech/chipKIT-core,majenkotech/chipKIT-core,adamwolf/chipKIT-core,chipKIT32/chipkit-core,EmbeddedMan/chipKIT-core,EmbeddedMan/chipKIT-core,majenkotech/chipKIT-core,UECIDE/chipKIT-core,pontech/chipKIT-core,chipKIT32/chipkit-core,majenkotech/chipKIT-core,pontech/chipKIT-core,EmbeddedMan/chipKIT-core,pontech/chipKIT-core,UECIDE/chipKIT-core,majenkotech/chipKIT-core,chipKIT32/chipkit-core,pontech/chipKIT-core,adamwolf/chipKIT-core,adamwolf/chipKIT-core,adamwolf/chipKIT-core,ricklon/chipKIT-core,majenkotech/chipKIT-core,ricklon/chipKIT-core,ricklon/chipKIT-core,adamwolf/chipKIT-core,EmbeddedMan/chipKIT-core,majenkotech/chipKIT-core,UECIDE/chipKIT-core,adamwolf/chipKIT-core,pontech/chipKIT-core,pontech/chipKIT-core,adamwolf/chipKIT-core,EmbeddedMan/chipKIT-core,UECIDE/chipKIT-core,EmbeddedMan/chipKIT-core,UECIDE/chipKIT-core,chipKIT32/chipkit-core,chipKIT32/chipkit-core,majenkotech/chipKIT-core,ricklon/chipKIT-core,ricklon/chipKIT-core,EmbeddedMan/chipKIT-core