CMake build:
 - add linuxmint to the list of supported apt dist
 - minor refactoring
Merge branch 'develop'