A REPL for the Android Debug Bridge (ADB)