added shell function 'server', for starting an HTTP server