Add two new tools to compare codecs and show differences and to

list all installed codecs.