Add openocd formula that supports --HEAD