Termux: terminal emulator and Debian-style userland as an Android app