WIP: Resolve "Add a static web server"
Closes #129 (closed)
Can be tested like this:
$ make all
$ ./bin/pantomath-web -v=3
and then, use your favorite browser to test https://127.0.0.1:8080/
More options with:
$ ./bin/pantomath-web --help
Edited by Julien Andrieux