O-Glycologue: A Formal-Language-Based Generator of O-Glycosylation Networks.