Convert license tags to SPDX

Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

picotcp_single_component: Add picotcp example

This example application runs a network stack, ethernet driver and a
couple echoing sockets in a single address space.