GUI for manipulating BibTeX bibliography databases