Merge "Document the SELinux extensions to the Android init language."