rm testcases.docopt, now downloaded from ref. impl. master