Update bash_kernel and rename shell_magic.get_completions