many bug fixes and enhancements to GambitREPL app (extended keyboard in REPL and Edit views, fixes for iOS8)