Program Synthesis Guided Reinforcement Learning