Merging development into master

Various fixes remained pending since June.

@traversaro  If you want to check