docs: update OpenOCD url's to openocd.org domain