Rename fonts

Linux Libertine		→ Libertine Serif
Linux Biolinum		→ Libertine Sans
Linux Libertine Math	→ Libertine Math

Also, no more cryptic letters in file names.
Remove TrueType instructions

We are not going to provide TrueType versions in this fork.