alt-ergo-zero 0.3

Hello,

I packaged Alt-ergo zero, a lightweight SMT solver library by Sylvain Conchon. Please note that I am not the maintainer (I asked him if he was ok before). A patch is used to add a META file, since there was none.

Cheers!