Point Google Code page platform links to the Arduino IDE 1.5 3rd party Hardware specification
Updated Build Process (markdown)
Migrated from GoogleCode