precursors.md: more links for Mirage, kOS, and rustboot
utilities.md: add TCPy, language.md: add Hy