Readme.md points to wrong verification-manifest

The link under "Setup" in Readme.md points to seL4/verification-manifest instead of NICTA/verification-manifest. When using seL4/verification-manifest repo sync will install seL4/l4v instead of NICTA/l4v (which is atleast confusing).

It seems that even in NICTA/verification-manifest the Setup instructions are wrong and will lead to an installation of seL4/l4v (?)