Command-line program and scheduled GitHub action for publishing the BiGG model repository to BioSimulations