Merge branch 'gui' into oracle

Conflicts:

	src/lib/All_Libraries.curry
	src/lib/ExternalFunctionsIO.hs
	src/lib/ExternalFunctionsPrelude.hs
	src/lib/IO.curry