New version of pol2logcheck script

The script I described yesterday (see Checking for convergence in pol2map log files) had a few bugs. Please download it again if you are using it.