Added displaying a constraint graph showing how constraints are solved. This only works for the increment and plus examples right now.
(expects the system to have both `dot` and `xdg-open` commands on the path)