Updated configuration and build stuff for PropertyHistoryManager
Merge branch 'master' of https://github.com/cegerard/appsGate-server