github mysql git bootstrap platform search-engine crawler spring-boot repository docker-compose msr json-export dataset-generation spring-boot-application sql-dump csv-export ...