WIP: HTTP builder
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
dune-py module. Any conflicts are managed by the single server process
performing the actual build.