fix fileutil method (a bug introduced by my last commit)
modified samples/stream
Merge branch 'master' of https://github.com/kframework/k
fix second part of bug introduced by my last commit
simplified and documented samples/stream.
remove unused backends
still trying to fix errors generated by my commit
still trying to fix errors generated by my commit (2)