jlink: compatibility with old config added
jlink: compatibility with old config added

- a compatibility patch was applied, adding the 'J-Link' device
- new configs are created with the new name

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