embedded HTTP server: the server now uses 10 threads instead of 1, hopefully making it more robust (thanks to Panagiotis Minos)