games/vcmi: the port had been updated to version 1.2.0

This release brings tons of improvements and fixes; players
and dedicated server operators are encouraged to update.

Reported by: portscout