add Revision.equals()

In any case, private plugins may use such API as well. 
No need to check existing ones, just ensure the binary compatibility even if does not make sense for your installation.