reworking log server to use the new pull_server helper class
Merge branch 'master' of https://github.com/starschema/virtdb-common
make sure we remove watches before we stop down the threads; untested, but complete implementation of query_server
remove silly mistake: not fixing anything...
Merge pull request #4 from starschema/to-review-2014-09-01

To review 2014 09 01
refactored rep_server; config_server is now using rep_server
Merge pull request #5 from starschema/to-review-2014-09-01-B

refactored rep_server; config_server is now using rep_server
implemented pub_server; refactored log_record_server and config_server to use pub_server
Merge pull request #6 from starschema/to-review-2014-09-02

implemented pub_server; refactored log_record_server and config_server to use pub_server