Add bib for category-coq-experience
Add a local papers cache