Provision AOSP build environment on Ubuntu 12.04 LTS 64-bit with puppet