extending pythons string.format()