scripts: copy from micro, gcc/vectors_*.c
scripts: copy from micro, gcc/vectors_*.c

- update to fetch vectors from gcc/

gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins