works on python 3, rewrote ASCII STL loader, made detect_binary_file less dumb