Use base85 encoding in python 3.4 standard library