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.
Merge pull request #112 from akshatpradhan/ux_redesign

improve IA of some pages
fix rendering bugs in safari for a better UX
* Add `pulse` and `pulse-container` CSS classes for better icon pulse on home page
* Apply the `pulse` class to elements you wish to use the pulse animation on and `pulse-container` on the ancestor element which will trigger the pulse when the user hovers over it
* fix text issues on Safari during hover CSS animation using GPU http://stackoverflow.com/questions/7947385/hovering-over-css-transition-in-safari-lightens-certain-font-color
Rename CSS file