new version of ace editor, better diff colors, diff in report show page.