Android: Acquire device display metrics from system.
This patch set implements getting Android display metrics for width/height and DPI over the Android Java API and adds them to the Android tracking driver for proper distortion calculation, in favor of hard coding values for Pixel 3.