SynCode: LLM Generation with Grammar Augmentation