tools: build.xml: Build script changes necessary for tools
tools: build.xml: Build script changes necessary for tools

jvasileff/ceylon-common,ceylon/ceylon-common,ceylon/ceylon-common,ceylon/ceylon-common,jvasileff/ceylon-common,jvasileff/ceylon-common