python library for url minification.