Python scripts for various things to improve latex processing