Added dump-agdai and fix-whitespace.