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