added stardog to vagrant as vivo backend