Merge branch 'release/1.0.0' into develop

* release/1.0.0:
  Release 1.0.0
Merge branch 'hotfix/1.0.1' into develop

* hotfix/1.0.1:
  Use master branch for dependencies
New libcork allocation API

We're not supposed to use `free` anymore, since libcork now allows the
end application to provide a custom memory allocator.  The new API also
allows libraries that use libcork to accept their own custom allocator,
different than the one that libcork itself uses.  But we're not taking
advantage of that capability at present.
Merge branch 'feature/allocator' into develop

* feature/allocator:
  New libcork allocation API
Bump requirements for 1.0.2
Release 1.0.2
Merge branch 'release/1.0.2'

* release/1.0.2:
  Release 1.0.2
  Bump requirements for 1.0.2
  New libcork allocation API