Reflect changes in the development graph

[tillmo]

For example, after successfully proving all goals of a node, its colour changes to green in the old GUI. This should also be reflected in the VSCode GUI.
Probably some extension of the RESTful API is needed.