Python: tidying output of some more problems.
Tidy python directory

All python files either run in a sensible time or have a non-standard name.
Better error checking in check_all.sh
Tidy and correct python problem 7.
checker.py: remove unused function