Tweaks to build.xml, to use external property file.
Additional Tweaks to build.xml, to allow for user-specific
${user.name}.properties file.