Python-based URL shortener