Version 0.005 - Finished conversions + no Omega

I finished all needed conversions (list to vector, list of lists to
matrix and the other way) and their correctness proofs. Also removed all
uses of Omega from matrices.v and decidables.v