Version 1.4 beta

This new version solves several bugs, clean up the code and offer a development workspace ready to be used.

Moreover, we publish the new GitHub website with development information and the release of a new reasoner based on Choco 3 and some new operations.

Some of the new operations are:

-Optimal product to search for the product that maximizes an attribute
-Flexdiag and Fastdiag to correct errors in configurations and models faster with deductive analysis (see https://link.springer.com/article/10.1007%2Fs10844-017-0492-1)

Thanks a lot to Andrés Paz from ICESI who helped us a lot to release this version.