What are use cases of libghostty? Is it for building things like the terminal inside VS Code or any other such GUI application?