Python library to automatically abbreviate arbitrary strings (very alpha)