Minor changes to the build system to build the vm with CSS support
Implementation of the data type CstIntVar.

- Added IntVarLike interface.

CstIntVar and Smallint classes implements the methods from this interface.
Added initial support for builtins that post propagators
Build system modifications
 - Force installation of gecode under lib directory
Build system modification to enable CSS
Added Gecode space implementation.

Every mozart space has now an associated gecode space. The gecode space is initially null and created on demand by the operation getCstSpace.

A test that creates a gecode space and dumps its state is also added.
IntVarLike interface implementation (SmallInt)

When an integer constraint variable gets determined becomes an integer. For this reason integers can be seen as (compatible with) integer constraint variables (for instance to post constraints). For performance reasons gecode only accepts a subset of the values in the int type as valid domain elements. The consequence  of this is that the SmallInt type in the vm can represent a wider set of values and some of them not valid as domain elements.

The IntVarLike interface specifies a set of operations that must be implemented by normal constraint variables and by those small integers that are suitable as domain elements.
ConstraintVar interface implementation (SmallInt)
Build system modification to enable CSS
Added Gecode space implementation.

Every mozart space has now an associated gecode space. The gecode space is initially null and created on demand by the operation getCstSpace.

A test that creates a gecode space and dumps its state is also added.
IntVarLike interface implementation (SmallInt)

When an integer constraint variable gets determined becomes an integer. For this reason integers can be seen as (compatible with) integer constraint variables (for instance to post constraints). For performance reasons gecode only accepts a subset of the values in the int type as valid domain elements. The consequence  of this is that the SmallInt type in the vm can represent a wider set of values and some of them not valid as domain elements.

The IntVarLike interface specifies a set of operations that must be implemented by normal constraint variables and by those small integers that are suitable as domain elements.
ConstraintVar interface implementation (SmallInt)
Changed way of converting booleans to c++ bool type
Addapted code to use new boolean conversion instead of old Bollean interface
Conflicts:
	vm/main/coreinterfaces.hh
	vm/test/csttest.cc
Merge with constraint subsystem css branch
Merge branch 'master' into css
Merge branch 'master' into css
Merge branch css. Conflicts solved
Changes in order to supoport finite domain variables with the current official virtual machine.
Removed *RichNode self* parameter from CstIntVar.
Finite domain base module is fully functional (FD.int, FD.is, FD.min, FD.max, FD.isIn, FD.value)