A ferramenta de screencast do gnome-shell a que você está se referindo é construída dentro do shell e você não pode usá-la a menos que esteja usando a sessão do GNOME. Faz parte da sessão e você pode compará-lo a algo como o painel superior do Unity, que não sai do Unity.
E, não há nenhum nome específico dado a essa ferramenta além da ferramenta genérica de screencast do GNOME.
Se estiver interessado em criar screencasts, pode seguir esta pergunta para ferramentas alternativas: