iPhone/iPad implementation of the Glk API