Rename tex/ to doc/
Adding sat-solvers: picosat, minisat, lingeling and limboole tool