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

update build and dsl scripts