convertall.py and updateall.py now print the number of processed files and the total processing time.