Better revisions view

Don't merge this yet. I just wanted to get the discussion started around this adjustment. I found a jQuery plugin https://github.com/arnab/jQuery.PrettyTextDiff that does the diffing. It's based on Google's https://code.google.com/p/google-diff-match-patch/. Check this out and let me know what you think.