Add a read_stl function to formats