Tries to avoid residual checkouts in the workspace

Also, the workspace is, by default, now 'tmp/dummy'. And I removed a broken
dependency in the Rakefile.