Main window: Doc index loading: make sure the signal index-loading-end is never emitted twice

Signed-off-by: Jerome Flesch <jflesch@gmail.com>