* include/functions_gis.php: in function "activateAjaxRefresh" add the
posibility to change refresh time in execution time.
* include/functions_ui.php: add in the "print_page_header" the feature to
pass a array of buttons/items.
* include/javascript/openlayers.pandora.js: add the function
"changeRefreshTime" for change the refresh time.
* operation/gis_maps/render_view.php: change the top of page for to
adapt the new header, and add refresh control.
git-svn-id: https://svn.code.sf.net/p/pandora/code/trunk@2408 c3f86ba8-e40f-0410-aaad-9ba5e7f4b01f
37e3c5537e