Restored build.xml from branch 3.0
Merge branch 'design' of github.com:mapbender/mapbender-starter into design