[PATCH 00/13] Replace mongoose with civetweb.

[Christian Mauderer]

This patch series replaces the mongoose webserver by its still MIT
licensed fork civetweb.

Please note that I try to get some (currently two) of the patches
directly into civetweb too. But I think that it might need some time and
adaption till they are accepted. So I thought that adding them to RTEMS
would still make sense as a working interim solution.