ide; added 'run with launcher' feature. menu item, toolbar button, and default 'valgrind' value for executable prefix of default compiler configuration.

Conflicts:
	ide/src/ide.ec