I use Better Terminal Emulator on my Galaxy Nexus and it has support to map CRTL and ALT to several different keys. You can also map the arrows, which is handy

I use Better Terminal Emulator on my Galaxy Nexus and it has support to map CRTL and ALT to several different keys. You can also map the arrows, which is handy if you are using it on the phone with no physical keyboard.