Merge repo.solr.cool into main solr.cool repo?

[tboeghk]

Although both repos have different goals, it may be an idea to merge the human and machine readable repositories into a single repo. It would be perfectly cool to generate both repositories from a single data source.