Merge branch 'distributed-fmm-global' of gitlab.tiker.net:inducer/boxtree into...

Merge branch 'distributed-fmm-global' of gitlab.tiker.net:inducer/boxtree into distributed-fmm-global