Update to Freeciv server r25793.
Improvements to manual page.
Fix city ruin offset.
Update controls docs. Allow enter to submit name dialog.