typeset.bash now closes Skim windows before running the script. Ensures that changes are visible.