Diff freeciv-3.0.1-r1 with a freeciv-3.1.0_beta2

Thank you!