Completed iterator implementation for int_vector_buffer

The added example did not compile in the previous version, since the iterator concept was not fully implemented.