Added '--dump-agdai' command-line option.