[ papers ] Add PR template and mention this on papers page

This should help people more easily add their papers to the list, with
all the information we ideally want there.

Author: CodingCellist

.github/PULL_REQUEST_TEMPLATE/new_paper.md

@@ -0,0 +1,19 @@
+# Add paper involving Idris
+
+## Title
+
+
+## Authors
+
+
+## Citation Details
+
+<!-- Ideally this should be in ACM or IEEE format -->
+
+## CHECKLIST
+
+- [ ] I have included hyperlinks to the official catalogue.
+- [ ] I have specified the DOI (Digital Object Identifier) of the document.
+- [ ] If there is no Open Access copy, I have included a link to an author's
+    version or a preprint (for example, arXiv).
+

src/content/pages/papers.rst

@@ -16,7 +16,10 @@ The Idris Language
 Associated Publications
 -----------------------
 
-There are numerous academic publications associated with Idris, including:
+There are numerous academic publications associated with Idris, some of which
+are listed below.  If we have missed one or new ones have been published, please
+do
+`submit a pull request <https://github.com/idris-lang/idris-lang.github.io/pulls>`_.
 
 * `Frex: Dependently Typed Algebraic Simplification <https://dl.acm.org/doi/10.1145/3747506>`_,
   Guillaume Allais, Edwin Brady, Nathan Corbyn, Ohad Kammar, and Jeremy Yallop.