add better support to add 3rd party hardware in user's sketchbook

these set of patches are targetted mainly towards making it easy
to add support for 3rd part stuff via <SKETCHBOOK> folder. 

boards.txt has been broken down into multiple files, and user-added platforms
are incremental to IDE's default platforms now (instead of being overrides as earlier)