Add support for ant build.properties

So that different Intellij locations can be easily used between developers, I added a build directive to the ant xml files:
<property file="build.properties" />
Thus the default build properties can be overridden by each developer in their local branches.
.gitignore is also updated.