master
Update Android libraries, support Android 15/16, reproducible build
Support passing launch arguments to Android server
Fix Android shortcuts not working due to renamed activity
Fix Android crash in release build due to ProGuard
Add Android build scripts