fixing dump filtering problems after the switch to docopt
Merge branch 'master' of https://github.com/yadt/yadtshell into reboot