update build and dsl scripts
Merge pull request #2 from stanford-ppl/update_scripts

update build and dsl scripts
Merge branch 'master' of github.com:stanford-ppl/hyperdsl into benchmark
Changed config.