Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis