delete the IDE defaultRepository before starting to copy archives
Merge branch 'master' of https://github.com/ceylon/ceylon-dist

Conflicts:
	build.xml