A scripted GIS server administration framework designed to batch execute ArcGIS for Server Admin API functions through Python