add basic meta.yml, generate README.md from templates

[palmskog]

Rather than ad-hoc updating README.md, how about using meta.yml @yforster? This is the closest I can get to the current README.md.

[yforster]

Happy to merge this, but wondering in general: What's the advantage of using a meta.yml file?

[palmskog]

README.md is autogenerated from meta.yml with mustache. We have other templates that use meta.yml also that could be useful: https://github.com/coq-community/templates

Finally, it makes detailed repo metadata machine-readable, which we hope every Coq-community project can do.

[yforster]

How can I edit the zulip link to go to our thread in the CUDW stream rather than link to the general coq-community stream? I tried using chat as indicated in the ref.yml, but that just adds a second zulip shield.

[palmskog]

Example:

chat:
  url: https://coq.zulipchat.com/#narrow/stream/284683-GraphTheory
  shield: Zulip

However, I don't understand how it would make sense to use a stream specifically dedicated to an event that has already taken place.

[palmskog]

You can remove the other shield by setting community: false.