Submit a recipe

Paste a GitHub repo. It joins the catalog as soon as we can parse its RECIPE.md.