Here's a python script which convert from binary stl file to ASCII stl file. I have seen many codes which convert ASCII to binary, but never seen the opposite.