Expand the docstring of rules.py
Switch to docopt for command line parsing