Directory listing for copilot-cbmc-0.2 source tarball

copilot-cbmc-0.2/