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.
String: fixed number of whitespaces in concat() methods
added some String methods syntax highlighting
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
Updated StringReplacer.quotedSplit() to accept more than one quote char.
Allow USB product and manufacturer strings to be supplied in boards.txt
boards.txt: Refactor the default usb build flags into a generic property in platform.txt
Fix whitespace (tabify), oops
Remove hardcoded product names (all provided for in boards.txt)
Added quoting to usb_product key to preserve double quotes.
See #1422.