server tool: run a simple cherrypy server for static files
rulus tool executable
Merge branch 'master' of https://github.com/rulus/rulus
optimizing help output