Remove Extension:Vector

Most functionality has been moved to core.  Extension is now just an
empty file to protect against include errors.

Change-Id: Id968822327616f192a9a520a5806e2f915d77a60