This simple script converts files with extension .crt to files with PEM encoded. Some files are already encoded with PEM but end with .crt, those files are not converted.