pkgx: Add sphinxcontrib-bibtex, upgrade spin
pkgix: Fix tlaps, isabelle