Implement HDivTrace as a macroelement#151

pbrubeck wants to merge 11 commits intoreleasefiredrakeproject/fiat:releasefrom

pbrubeck/tracefiredrakeproject/fiat:pbrubeck/traceCopy head branch name to clipboard