added a beam-size option to a-star decoding