WIP: HTTP builder
The HTTPBuilder
uses a server process to do the actual compilation of the
just-in-time compiled Python modules. For client-server communication, the
established HTTP protocol is used.
Having a separate build process allows to run several Python programs using the
same dune-py
module. Any conflicts are managed by the single server process
performing the actual build.