Just look for Android user-agent

Addresses #75.