Fixed problem with logrel instances in PyGTK GUI. Removed faulty INSTALL_DOC directory -- docs just go to INSTALL_ASCDATA for now.