all: update CMakeLists.txt without GVLE

The decision, difference-equation, fsa and petrinet must be use without the
graphical user interface ie. GVLE and its dependencies. (closes #38).

- We fix the variable HAVE_GVLE for all package.

- We update the FindVLE and FindGVLE from VLE repository.