[Eva] Saves the set of functions replaced by a builtin for an analysis.

New function Builtins.is_builtin_overridden that indicates whether a function
is replaced by a builtin.
This function remains correct after loading the result of a previous analysis,
and can thus be used by other plugins using Eva's results.
Thus, Db.Value.use_spec_instead_of_definition now uses this function.