openocd: src: add GPL license tag on files that miss it