Rename vector_add() to vector_append().

Consistent with Compact_vector.