A library and a program for preceding capital letters in LaTeX files with \small