Merge development into master

@traversaro 
For two reasons: on the other projects I've been explicit on some options (even if they remained at their default value), and second because this project builds only libs and not executable, and a lot of the other code was needed to address this problem.