Add serial_server_flush to client.h serial_server_flush sends len contents of the shared buffer off for printing. This allows clients to write to the shared memory buffer explicitly to avoid double buffering.
Style fixes for libsel4serialserver
SELFOUR-1107 move serial server to own library