Python console with integrated script editor for Android based on the Kivy crossplatform framework