Added upload-picolisp-to-android function