A small program to change all file names and internal links in lowercase