log scripts/ide.sh @ 538:58652b93ef7e prerelease

age author description
2016-06-20 Giulio Moro Path-relativeness of scripts has been improved. At least update_board will work when double clicked prerelease
2016-06-20 Giulio Moro update is a bit more clean through Makefile prerelease
2016-06-20 Giulio Moro Added script to control IDE prerelease