The astar procedure now integrates a beam option, to cut the search space, and a n-best option, which is an oracle returning always the best prediction from the list of the n first predictions returned by the decoding procedure. added some doc and clean-up