Tools for terminal-based wait animations
