Better document the distinction between stop-with-savepoint and stop-with-savepoint-with-drain

The Flink documentation only contains very few details about the difference between stop-with-savepoint and stop-with-savepoint-with-drain. We should better explain the semantic differences.