Use fread() to read binary STL files
Use fread() to read facet number
Bugfix: some binary STL files were not correctly parsed on Windows. #1370 1467