This is a place to store my updates to openocd to have them easily available.