updated libs to new naming for stagegl-core and stagegl-extensions
further updates