An android version of the board game nine men's morris