Leveraging Program Synthesis For Robust Long-Term Robot Autonomy Via Interactive Learning And Adaptation