Simplify remove policy + change the semantics of add policy

With the latest changes, exponential increase only applies to the
add policy. Then, the add threshold and the add interval are
decoupled into separate configurations. The remove policy is made
simpler: an executor is removed as soon as it is marked as idle.

This also updates the comments to explain why we use exponential
increase in the number of executors when adding executors.