Update `primitive` and `vector` packages

 - `primitive` is updated to upstream's HEAD which is essentially
   `primitive-0.5.1.0`, plus a core-lint-error workaround for #8355 and
   some minor cleanups.

 - `vector` is updated to upstreams `vector-0.10.9.1` release

Note: The upstream repo location has changed to GitHub,
      hence the update in the `packages` file

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

1 files changed, 0 insertions, 0 deletions

diff --git a/libraries/primitive b/libraries/primitive
-Subproject 27b18d5bb12827e279f5cca541ae15508da6b6f
+Subproject 33071fee2a1ba4bd099fe04bb55c2d657476c16