Shorten AI names

For better display under OS X and Ubuntu.
Change pause button of evaluation mode

Use JToggleButton instead of JButton