Merge "add option to launch or not an emulator. Also fix bug in DeviceBuildInfoInjector."