os/user: android support

<pre>Android OS does not support getpwuid_r. There does not appear to be a C/C++ interface
for this, we may have to call into Java to get some notion of users.

As most apps don't make heavy use of OS-level user information, this is a low priority.</pre>
