add tool servewd, which simply calls python -m SimpleHTTPServer 8888