gnu: Add propeller-development-suite.

* gnu/packages/embedded.scm (propeller-development-suite): New variable.

gnu: Add spinsim.

* gnu/packages/embedded.scm (spinsim): New variable.

gnu: Add spin2cpp.

* gnu/packages/embedded.scm (spin2cpp): New variable.

gnu: Add propeller-load.

* gnu/packages/embedded.scm (propeller-load): New variable.

gnu: Add openspin.

* gnu/packages/embedded.scm (openspin): New variable.

gnu: Add propeller-toolchain.

* gnu/packages/embedded.scm (propeller-toolchain): New variable.

gnu: Add proplib.

* gnu/packages/embedded.scm (proplib): New variable.

gnu: Add propeller-gcc.

* gnu/packages/embedded.scm (propeller-gcc): New variable.

gnu: Add propeller-binutils.

* gnu/packages/embedded.scm (propeller-binutils): New variable.

Merge branch 'core-updates'

gnu: gcc-arm-none-eabi-4.9: Remove non-applicable patch.

* gnu/packages/embedded.scm (gcc-arm-none-eabi-4.9)[patches]: Remove
"gcc-arm-bug-71399.patch" from XGCC's patches.

Merge branch 'master' into core-updates

gnu: openocd: Correct license.

* gnu/packages/embedded.scm (openocd)[license]: Change to gpl2+.

Merge branch 'master' into core-updates

gnu: Add openocd.

* gnu/packages/embedded.scm (openocd): New variable.
* gnu/packages/patches/openocd-nrf52.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add the patch.

gnu: Add jimtcl.

* gnu/packages/embedded.scm (jimtcl): New variable.

gnu: Add libjaylink.

* gnu/packages/embedded.scm (libjaylink): New variable.

gnu: Add gdb-arm-none-eabi.

* gnu/packages/embedded.scm (gdb-arm-none-eabi): New variable.

Merge branch 'master' into core-updates

gnu: Add arm-none-eabi-toolchain variants.

* gnu/packages/embedded.scm (arm-none-eabi-toolchain): New procedure.
(arm-none-eabi-toolchain-4.9, arm-none-eabi-nano-toolchain-4.9,
arm-none-eabi-toolchain-6, arm-none-eabi-nano-toolchain-6): New
variables.

Co-authored-by: Ricardo Wurmus <rekado@elephly.net>