> Похоже на проблемы с Esc-последовательностями.

Да, похоже. Я бы посоветовал тебе вынести в самый верх исходника настройки горячих клавиш, чтобы можно было их быстро поменять. Тем более, так и с удобством лучше будет.

> Офигеть. Это круто.

Да ничего особенного. Андроид без рута и без GNU/Linux чрута, как правило, непригоден для использования, так что удивляться нечему.
Процедура установки абсолютна идентична десктопной: sudo apt-get install sbcl, потом загоняю quicklisp, и так далее.
51talk и подобные также без проблем работают.