updated Tool.pro; some debugging, modifications to realizability criteria
initial commit of interactive strategy modified for nondeterm case; more debugging in counterstrategy code
debugging interactive strategy; added python tools for strategy visualization