Merge branch 'master' of ssh://gitlab.tiker.net/inducer/pymbolic into flip-dep-graph-arrows