Move projects in separate repositories

[bandali0]

Originally reported by: Simon Hudon (Bitbucket: cipher2048, GitHub: Unknown)

---

• [x] Web prover: literate-unitb/unitb-web
• [x] existential: literate-unitb/existential
• [x] tex2png-hs: literate-unitb/tex2png-hs
• [x] printf-th: literate-unitb/printf-th
• [x] invariants: literate-unitb/invariants
• [x] axiomatic-classes: literate-unitb/axiomatic-classes

---

• Bitbucket: https://bitbucket.org/literateunitb/literate-unitb/issue/32

[bandali0]

Done.

Next step: sort out the build issues and then remove the libraries from the main (this) repo.

[bandali0]

Kamino closed and cloned this issue to unitb/literate-unitb-complete