feat: add highlight code block
feat: add code block for dReal and dReach
feat(download): update OSX install