Adds GitHub build properties

etc/build/build.properties

@@ -0,0 +1,8 @@
+jscompiler=${basedir}/compiler.jar
+grapheditor.dir=${basedir}/../../war/js/mxgraph
+src.dir=${basedir}/../../src
+war.dir=${basedir}/../../war
+javac.dir=${war.dir}/WEB-INF/classes
+build.dir=${basedir}/../../build
+war.name=draw.war
+imageexport.dir=${basedir}/../imageexport