remove mapserver_export plugin (manual merge for pull-request 642)