Introduce a global preferences configuration. This includes:
Fixes #3 : env add is registering the token
Fixes #6 : Manage multiple simultaneous logins to remote environments
Fixes #19 : Get a global preferences manager
Fixes #45 : notification of changes in subsides of the preferences