Puppet Module for fetching/extracting Android SDK