Rename proof.rb to proof.coq