Support for export to binary STL.

Binary STL shaves file size down quite a bit, for example a recent random file went from 2.2mb to 714kb. If you're looking for more savings, ZIP on the binary STL takes the same file down to 270k... I ended up using ZIP.js to handle this last step.