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