Google Docs gets a new feature to compare two documents