update readme, add new puzzles, hide minisat output