For the non bounded case optimize the creation of the constraints for the bounds.
Improve the grounding of the constraints and update the voting example.
Add the lower and upperbond back to the consensus vertex definition.
Merge branch 'master' of https://github.com/uzh/wolf