Make devref point to official devstack vagrant repo.

Now that we have an official devstack vagrant repo, lets point to that
instead of my own half maintained repo.

Change-Id: I944265d18f6e796608576ea71a7983aed0ece542
Merge "Make devref point to official devstack vagrant repo."