Python scripts for renumbering PDB files according to primary sequence (or whichever sequence makes sense)