Merge remote-tracking branch 'upstream/develop' into develop
mk_hidden_variable_representation returns new variables
Merge branch 'binary-constraints-tests-and-variables' into develop
changed documentation
Merge branch 'binary-constraints-tests-and-variables' into develop
Merge pull request #49 from alep/develop

When construction hidden variable representation create a new set of variables, also added some tests.