Tradefed: Change JSON format This makes it possible to mix push and shell commands. Bug: 147812905 Flag: EXEMPT TEST_ONLY Test: atest ArtTest --all-abi --test-filter ".*HelloWorld.*" Change-Id: I18ddd42a4cfa03d9e0ab3e62d8b6ea391c188687