[PATCH] pacdiff: automatically delete pacfile after viewing if identical