Port some test-cases to testcases.docopt