Fix typo in ConcurrentSeparationLogic.v example

[mdempsky]

In the 3-stage example, the middle stage moves list elements from the first stack to the second stack, not back onto the first stack again.