Merge origin/master

Conflicts:
	src/sudoku/BestTime.java
	src/sudoku/Sudoku.java