Merge pull request #140 from sparre/master

Switch to Ada 2005 (and GNAT-4.6)
Merge pull request #141 from sparre/master

Reactivating the insertion of CORS headers.
Merge pull request #143 from sparre/master

Introducing Configuration.Server_Token
Merge pull request #145 from sparre/master

Forward notifications to the notification server.