A manifest file was regenerated for the alt-ergo package.
Ebuild for cvc2 of version 1.2 was added.

It's known to lack some useful flags.
Merge branch 'master' of salix.cmc.msu.ru:buzden-overlay