17.17.0

Rename device install helper to install.py and put it at the repo root.

push-emulator.py was a leftover name: the same adb push works on a phone.
Build helpers stay under scripts/.