Use authenticated session information in order to authenticate the user to the REST API

Authentication to the REST API is done using HTTP headers. However, a user that has already logged in using the standard login mechanism, should be automatically authenticated to the REST API using the previously provided credentials.