* server/civserver.[ch]: The server could already read options from
	file with -r; it will now try to read them from a default file first,
	named $HOME/.civserverc, or $FREECIV_SERVERRC if that environment
	variable is set.  Options cannot yet be saved or loaded when the
	server is running.  Patch submitted by Reinier Post <rp@xxxxxxxxxx>.