Fixing folder naming goof

Named folder "sudoku" to "sudoku_v4" to facilite copying it to
"old-versions" folder.  Didn't name it back to "sudoku".  Just fixed it.