Migration of MongoDB DataStore sources to geoserver-exts

The corresponding documentation for this feature is available in the document shared over Google Drive.