[Bugfix:Autograding] add dwarf 4 option to drmemory#39

bmcutler merged 2 commits into

mainSubmitty/Tutorial:mainfrom

update_drmemoryconfigSubmitty/Tutorial:update_drmemoryconfigCopy head branch name to clipboard