What shell/terminal setup is the demo gif in the github using? Looks neat.