Onefeel:
- Moved onefeel options from generic options, so we can access them through Gmsh interface
Merge branch 'develop' of https://github.com/feelpp/feelpp into develop