Release v0.8

Changes:

```
$ git log ...v0.7 --pretty=oneline
37cbf4ea01060d10d1177dae4cd0a4503c5ef872 Allow ID IRIs to be specified without redundancy.
$
```