herd: add 'real' address dependency test.
herd+litmus: add PPC lwzu and stwu instructions.
Merge branch 'master' of github.com:herd/herdtools