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.
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