Add missing aria_add_gis_sp.sql to mariadb-server-10.1

The file is needed by mysql_install_db and should be in the same location
as fill_help_tables.sql and maria_add_gis_sp_bootstrap.sql.