libwebsockets

mbed3: sayonara

The port was technically worthwhile and laid the groundwork for ESP support.

But now it is just useless cruft like mbed3 itself...