New rake task: prove.