add CMakeOption (usefull on froggy)
add froggy machine
Merge branch 'develop' of ssh://telma.frec.bull.fr:32023/home/chabannes/github-bare/feelpp into develop