First steps with oauth on the web client side.
Add 'github-secret.js' to .gitignore.
Conflicts:

	.gitignore
Authentication working on nodejs side for http but not yet websocket
Example github secret
Authentication now also working from Java. Requires a manually 
generated github access token set as a system property.
Somewhat better separation of authentication code in from the rest.
Authentication: add 'super user' support so infrastructure 
providers (e.g Repository service) can authenticate as such.
Add authentication for channel join.
Make reconnect on socket error more friendly to the server
(don't hammer it 100s of times if it keeps failing).
Refactor github.js to more easily cache token->user mapping
Cleanup unsued imports
Add cache for github token authentication request
Add some notes about oauth setup
Merge branch 'master' into oauth
Towards optional authentication. Turned on by presence of a
special file containing secrets.
Fix issue when redirecting from '/' and already authenticated, user
name is lost in the redirect making client behave as if it is default user.
Authentication optional
Fix some problems with 'optional auth'. All working now.
Fix problem in logging code when ther's no oauth token
Merge branch 'master' into oauth

Conflicts:
	eclipse.core/org.eclipse.flight.core/src/org/eclipse/flux/core/Activator.java