raft: optimistically increase the next if the follower is already matched

Fix #1731 
/cc @yichengq @bdarnell

This is useful since we want to pipeline the appendEntry requests. Without
enabling optimistic increasing, the second pipelining appendEntry request
will include the entries the first one has already sent out. We decrease
the next directly to match if the leader receives a rejection for a matched
follower. This happens if one pipelining request get lost and following ones
arrives at the follower.
BTW, the starvation will not happen for now. pr.next will not move forward for unmatched follower even if we send out another msgApp to it between the previous MsgApp/MsgAppResp.