Google s newest version of its mobile operating system adds small but helpful improvements