packed_vector: Added "[]" operator.