Update loopy submodule
Update the loopy submodule to latest master. This includes switching to the latest version of the loopy language.
Edited by Dominic Kempf
Update the loopy submodule to latest master. This includes switching to the latest version of the loopy language.