openocd: src: remove duplicated GPL license tag