It seems that OpenSCAD is capable of importing of both ASCII and binary STL files. As such, this is probable the most convenient and likely also only choice for making stl to scad conversion work. Unfortunately, we do not know about any other 3rd party software that could perform this conversion.
Open STL file Open SCAD file