Added --dump-binary-ast cmd option