Allow uploader choice in upload.tool to specify a different platform vendor
Don't give up when loading hardware/ profile directories with some invalid directories
This allows you to create hardware profiles that support both pre-1.5 and 1.5 onwards (boards.txt, cores, bootloader etc. in root for pre-1.5 and <architecture>/ directories containing 1.5 onward content.

Still prints a warning if a hardware folder doesn't contain anything 1.5 compatible.
Minor typo correction

formely->formerly
Update incorrect docs in tonePitchFollower example

The comments state that the speaker should be on pin 8, but the code references pin 9. Updated the comments to reflect the correct pin.
deleted Twitter examples from Ethernet and GSM libraries
IDE didn't stop if an invalid library is found
Better error handling for missing preferences.
Fixes #1471
Hardened upload.tool property reading code for boards.txt
Fixes #1464
Merge pull request #1465 from mcoms/patch-1

Update incorrect docs in tonePitchFollower example
assembly compile recipe is missing (C. A. Church)
Fixes #1457
Merge branch 'master' into ide-1.5.x
Merge branch 'ide-1.5.x-thirdpartyboardprofiles' of github.com:projectgus/Arduino into projectgus-ide-1.5.x-thirdpartyboardprofiles

Conflicts:
	app/src/processing/app/debug/BasicUploader.java
Fixed translated text string. Show warning message during loading of TargetPlatforms
Merge remote-tracking branch 'upstream/ide-1.5.x' into ide-1.5.x-library-to-new-format
added keywords.txt to SPI lib