Move loopy import in pytato.program docs for sphinx's benefit