A Python library for string formatting