Basic server spawner.
Merge branch 'master' of github.com:AdaHeads/DatabaseServers
Added notification server.
'make spawner' now depends on 'all'.
Making sure we build the notification server too.
Introducing tools for starting and stopping the server spawner.
Merge.
Don't check for configuration files (in the wrong place?) when launching the spawner.
We don't have a 'CDRServer' in the repository.
Removing references to non-existing services.