gitfilter.sh added
latexrefre.sh: coloring output