use modern file names: move default.properties to project.properties
add script to set up 'ant' for the Jenkins auto-builds