Update protocol to manage a User data structure with simple credentials
Update guava version from 1.6 to 1.7
Use credentials in KensaiMarket
Use credentials in Animators
Add credentials in GUI