CMake improvements GF

Jane Tournoisrequested to merge
CMake_improvements-GF into master

This merge request introduces two small changes to the CMakeLists of CoMISo, that are needed to build and install CoMISo in a larger project, using add_subdirectory(CoMISo) in the general CMakeLists. It fixes the privacy of some includes, and, for installation step, moves the binaries to a bin directory, instead of lib.

Merge request reports