submit build tasks to a running mmt instance via the command line

[cmaeder]

based on #110 tasks can be send to a global build queue.

A command line interface would detect a running mmt instance or start a new one that would expire after some idle time.

[cmaeder]

To send a command to a client instance it only needs to be prefixed by :send http://localhost:8080, i.e.

mmt.jar :send http://localhost:8080 make latexml --onError=1

[cmaeder]

The server can be started (and kept running in the background) by:

mmt.jar -w "extension info.kwarc.mmt.api.archives.ErrorManager --clean-unknown-sources --level=0 ; server on 8080" &

A problem is that the "make" command of the client is interpreted in the current directory of the server

[cmaeder]

Also #102 will interfere. Properly destroying and reloading of extension (like build targets) is needed.

[cmaeder]

@tkw1536 @kohlhase the client call could directly be:

curl http://localhost:8080/:action?make%20latexml%20--onError=1

[cmaeder]

Once a server is started via mmt.jar -w "archive add . ; server on 8080" selectable targets and archives can be rebuilt from http://localhost:8080/buildqueue.html

[kohlhase]

this may be done, what is the problem?