merge from open-source master

Merge commit 'goog/stage-korg-master' into HEAD
tree: 243d2160ac271a80db9d928379bfb5a016a374d8
  1. pico/
  2. picolanginstaller/
  3. Android.mk