[patch 1/2] Make gdbtui a shell script

[Joel Brobecker]

> Besides that I have ~70 convenience aliases in my ~/.bashrc, why not to have
> also `gdbtui' if someone is really used to that name.

Actually, that's a very good point.

-- 
Joel