[db,tool] make local font scan part of update_names()
[db,main,tool] scan local fonts upon failed lookup during a TeX run (requires the config flag “scan_local”)
[*] update news