Reading and writing binary ply files is significantly faster than going
via formatted I/O.  This commit adds the --outputBinaryPly=1|0 option
to select writing either binary or ascii ply files.