Keep Pulse history when migrating Pulse

In Pulse.cfg, a new parameter ServerNameOverride has been added with Pulse v5.7.5. This new parameter enables Pulse to be moved from one server to another and all of the history be kept.It can also be used in a scenario where the server name is regularly changed, i.e. in a virtual or cloud environment. The ServerNameOverride setting should be the name of the first server Pulse was installed on and configured for. Now when you move the files to another server or change the server name Pulse will continue using the original name.