Modern tools can make the Linux terminal prettier, faster, and smarter.