Fix: Remove requiring isis itself from ciao routine
The ciao wrapper did require("isis"); which is a very dangerous if a file isis.sl exists in the local working directory, so this line was removed.
The ciao wrapper did require("isis"); which is a very dangerous if a file isis.sl exists in the local working directory, so this line was removed.