[PATCH] ids.cgi: Only read-in ignored hosts, if the ignore file exists.