Better .gitignore for TeX projects; reintroduce charter font