add Revision.equals()

@wannessels 
You cannot be sure. It a *public* method in the *public* class, hence other plugins may easily reuse it