v4.2.0 of dhttpd

A static HTTP file server for easy local hosting of a directory. Changelog excerpt: - Added support for https. - Support multiple --headersflags and more robust header value parsing. For example: --headers="header1=value1;header2=value2"or --headers="header1=value1" --headers="header2=value2" - Added --list-filesflag to show a directory listing when no index.htmlis present. - Added --versionflag. - Added clickable link to serve output. - Require sdk: ^3.10.0.