Access the sel4-hosted web page

[NeisesMike]

The webserver is running and apparently hosting a sel4 docs page. I don't think I've configured my docker container correctly, so I should try again with all the steps I outlined.

• try again with all the steps I outlined
• if it works, try commit it to a dockerfile