Towards a black-box solver for finite games: Finding all Nash equilibriua with Gambit and PHCpack