improve IA of proofs#new and proofs#edit
Merge pull request #100 from akshatpradhan/redesign_add_proof

improve IA of proofs#new and proofs#edit