Initial commit. Setoids in matrices.v is okay, still in progress in permutations.v. Files matrices_and_lists and matrix_operations are outdated and will be fixed later.