Use the ISE-provided copy of gobo kernel library as default. If the gobo-provided library is used, users whose other .ecfs include this one, but also include the ISE gobo paths will get a lot of nasty compilation errors. The EiffelStudio snapshot of gobo is currently up to date and fully void safe, so can safely be assumed here.

For users who actually do track gobo from its Git location, a second .ecf should probably be created.