A puppet module that installs the Android NDK