Proper argument parsing via docopt

Fixes #3