better ascii-art in `pwnlib.util.splash.splash()`.