add Revision.equals()

Have you confirmed with all the current consumers of the git plugin API that none of them will be broken by this change to the API?

Is there a specific problem you're trying to solve with the API change?