Remote server for web-based diffs (2nd PR)

refs #84 #83 

This is just a version of #125 with master merged in and some javascript style fixes.