Gravar-mail: UniCarbKB: building a knowledge platform for glycoproteomics