AI board repetition now works (the AIMirror class did not have a .equals
method implemented). Fixed issue with the animation not working when the
AI wins. Spaced out the buttons in the instructions menu and added a
thicker border around the main button in that menu.