Split out solve_add_graph_edge

Split out a worker with all the special-casings when adding a graph
edge during solving.

	* tree-ssa-structalias.cc (solve_add_graph_edge): New function,
	split out from ...
	(do_sd_constraint): ... here.