A tiny URL shortener written in Bash and powered by Redis