Always use the local version of workspace_tools ...

This ensures compatibility with the mbed-tools package.

Add license to workspace_tools files

[mbed::net] Not shutting down the socket, before closing it, is not robust in lwIP