Add vector_empty()

Signed-off-by: Spencer Deinum <spencerdeinum@gmail.com>