Visualize relational values

[michael-schwarz]

After support for apron has been added, we could use https://github.com/ghilesZ/picasso and its svg output to draw graphical representations of the constraints on variables (or outsource drawing to the server if Apron is not integrated yet).

CC @stilscher