Small fixes
Merge branch 'develop' of github.com:feelpp/feelpp into develop
Check the compiler type and Issue a warning if not "certified"
Merge branch 'develop' of github.com:feelpp/feelpp into develop
Merge branch 'develop' of github.com:feelpp/feelpp into develop
Fix link problem
Merge branch 'develop' of github.com:feelpp/feelpp into develop