README: update links

- Use https wherever possible
- External link to contributors file, in case
  README is rendered somewhere other than GitHub
- Remove www from URLs which redirect to non-www domain anyway
Add a type for volume values

Add a wrapper type that encodes the properties
of volume values, providing some additional type
safety.
Merge branch 'volume-type' into wip
Merge branch 'rename-State' into wip