Added Support for Build Tools 20

Some users might want to use the recent version of the android build tools. We updated the box setup to include the installation of the build tools 20.