Add default rake task to run proofs
Merge pull request #2 from ntl/default_rake_task

Add default rake task to run proofs