[Freeciv-Dev] (PR#11936) get_option is undefined!

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=11936 >

civserver.c and civclient.c use the get_option() function.

But this function is undefined!  shared.[ch] no longer provides 
get_option() only get_option_malloc()!  However on Linux you'll never 
notice a problem because the get_option function is provided globally 
(which is a potential problem in itself).

In the development branch the correct get_option_malloc() is used.  But 
somehow the backporting of PR#11168 broke the patch.

-jason