Merge branch 'master' of https://github.com/acliu/strawman
update of hera_dish image and budget_just_ucb
Merge branch 'master' of https://github.com/david-deboer/strawman