Add missing GeogitDataStore.dispose() method to close the repository when the store is to be discarded.