dive vs ml-agents

Compare dive and ml-agents using verifiable public signals, licensing and project quality.