Disable Travis CI

It's just a major hassle to keep it working…
Update the colophon

Remove any mention of Travis CI, but mention the fonts that we use