improve IA of some pages

* pages are proofs#new, proofs#edit, requirements#index, and
* copy was improved for home#index and comments added

* dashed_name method added to convert requirement names containing dots
to dashes.