ServerManager WebUI + Puppet-3.7.1 support

Changes to server-manager and server-manager-installer packaging to add support for new web-server-manager addition
Also changed dependency in server-manager to specific Puppet version 3.7.1

Change-Id: I1ec9a33820f0cc0befdfee0f43b2aaae3737907e
Merge "ServerManager WebUI + Puppet-3.7.1 support"