core: document is updated when label is changed, fix string printing, label type imported, exported and local, global are now merged ; ui_qt: change behavior of comment dialog when pressing tab, improve label dialog