tree cb57a1abc82315fddf6ea12dd57dfb61aa60e0ba
parent 34aa293662eaaf38faaa49a680ab4fcb04eb0e99
author Haitao Zhang <zhtaoxiang@gmail.com> 1489967155 -0700
committer Alex Afanasyev <aa@cs.ucla.edu> 1489974971 -0800

Update Vagrantfile and compile documentation

Android SDK module "extra-android-support" no longer exists and caused
errors during "vagrant up".

Change-Id: I5a400335c5bef4ad03135768c453d698e2c9f481