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.
move this logic to a functon in  `progress` struct because we handle all progress stuff there.