bump OpenOCD version