Bumps the dependency on piet-gpu-hal to the latest master (rather than
a PR branch).

Also fixes a typo in the glossary.