Replace the hand-coded implementation of FiniteStack by

std::stack<T,ReservedVector<T> >.  This gives you more
standard compliance and shorter code.

[[Imported from SVN: r6140]]