Initial push
added build.properties
trying to fix an error
trying to fix an error again
trying to fix an error again again
trying to fix an error again again again
trying to fix an error again again again again
Merge branch 'master' of https://github.com/arnfred/Penrose
removed a few files