Check timeout of web server

The timeout of the web server may be set too agressively, resulting in disconnects when connecting from slower computers or VMs.

We should tune it a bit, so that it works reliably also from the virtual machines.