Preliminary release of Template and Checker for Coq 8.13

v1.0beta1+8.13+uds-psl

Fix universe problem due to (stronger) minimization heursitic

Preliminary release for Travis in coq-undecidability-library

v1.0-alpha3-uds-psl-8.12

Fix opam files, also with opam version upper bound as recommended in …