Docker: Single HTTP server port

[stain]

Currently the docker install exposes services on different ports:

http://localhost:3001/ - Open PHACTS Explorer Web UI
http://localhost:3002/ - Open PHACTS REST API
http://localhost:3003/sparql - Virtuoso SPARQL
http://localhost:3004/QueryExpander/ - Open PHACTS IdentityMappingService (IMS)

The advantage of the current split out 300x ports is that you can control access to them in your firewall, or by removing ports in the docker-compose.yml.

The disadvantage is that you might need to adjust your firewall to allow these at all - so perhaps a single nginx server on port 80 (or 8080?) that mapped them under different /paths could be a nice wrapper.