Given a digraph and a number K, returns a new digraph that has K added to all node indices and edges.