parameters for manhole_server function
split splash_server into splash_server and default_splash_server to allow custom cache and proxy factories.