Merge branch 'move-loopy-import-for-docs' into 'master'

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

See merge request !18