Use ctx.tmpdir consistently in cvs2git-example.options.