Merge branch 'develop' into gsl
Broken package: GSL + iOS
Update travis config
Merge branch 'develop' into gsl
Merge branch 'gsl' into experimental