Pass entire int array to picosat_add_lits once per clause, in AddClauses()

This improves performance when passing a bunch of clauses, by reducing the number of times we need to call into C. Instead of once per literal, it is once per clause.