improve 2bf.c: read from a file given as an argument