gsl installation instructions under ubuntu