Fix: correctly detect android platform.

Many devices set navigator.platform to "Linux armv7l", so that they
end up having class os-linux instead of os-android.