Changed vector push() so it does not grow one at a time, but capacity is increased by 25% every time.
    Fixed vector.shift() that threw an exception instead of returning a default value if the vector was empty.