output: for binary output we should do this on the fly

[fnrizzi]

currently we use a matrix to store all the snapshots of the states, we should avoid this and simply stream out to binary as needed