add build.properties to packaged DSL binaries
Merge branch 'wip-release' of github.com:stanford-ppl/hyperdsl into wip-release