CINDI : the virtual library graphical user interface