Delete locally generated gsl files

Tracking locally generated files with git is a mess. This pull request deletes files which configure generates from the git repo.