Merge pull request #3 from matthieuHanne/AgentsEnvMaster

Agents env master
fixing bug that crashed PlayerAgent if loaded without Android and when accessing the player attribute
Merge pull request #4 from matthieuHanne/AgentsEnvMaster

Agents env master
adding basic player registration in Environment
Merge pull request #5 from matthieuHanne/EnvironmentAgent

adding basic player registration in Environment
add delete function
stach
add DelPlayerDehaviour
updating AddPlayer to be complete and adding SetPlayerRole
forgot to commit EnvironmentAgent
merging with master
updating to have a working environment that correctly sets roles
Merge pull request #6 from matthieuHanne/EnvironmentAgent

Environment agent
Adding support for retrieving AIDs from Role filter
Merge pull request #7 from matthieuHanne/EnvironmentAgent

Adding support for retrieving AIDs from Role filter
Add SetInfoBehaviour
add setInfo
Merge branch 'master' of github.com:matthieuHanne/werewolf

Conflicts:
	main/src/utc/ia04/werewolf/jade/agent/EnvironmentAgent.java
Addding new Role enum value 'Player' for generic player, use in filter only and added method to retrieve list of nicknames
Merge pull request #8 from matthieuHanne/EnvironmentAgent

Addding new Role enum value 'Player' for generic player, use in filter o...