The history files were being removed too late.  Any ignored/skipped
files erased after writing (but would return with first built/failed
port).   If more than 500 ports were ignored+skipped, the web report
would fail to show the history completely and would not recover. The
old history files are now removed before the ignore/skip cascades.