New groups to add

[Victor V. Albert]

Dear LMFDB,

I run the Error Correction Zoo and enjoy contributing to knowledge databases. I have three actionable items for the LMFDB:

1. Some simple groups had their subgroups classified back in 2010s but not all are in the database: https://leemans.dimitri.web.ulb.be/atlaslat/. Do you think it would be feasible to add them?

2. I've recently classified subgroups of Sp(8,2): https://github.com/valbert4/sp8. I'd love to add this info to the LMFDB.

3. I think my pipeline is adaptable to classifying other groups of comparable order, like the sporadics Co2, HN, Ly, or Th. Is there interest in trying to classify those? 

Best,

Victor