Fixed bug introduced by previous merge
Fixed bug introduced by previous merge

The merge of port-separating code somehow deleted the curr_view
initializer from the non-leader constructor of ViewManager, which meant
non-leader nodes never loaded their logged Views from disk.

Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified