games/cockatrice:

• bump to release 2.5.1
• Use this as the version number for the package
• Add patch to indicate that this is the version number when selecting "About" in the menu.

https://github.com/Cockatrice/Cockatrice/releases/tag/2018-04-16-Release-2.5.1