pg_vector: size optim

[pmp-p]

vector--0.7.0.sql vector--0.7.1.sql and vector.sql in share/postgresql/extension are duplicates