Removed mux from web server.
ServeTLS should also not use mux.