modify-license: script to find and replace RTEMS license