Fix issues when navigating goes faster than animating.
Fix issues when navigating goes faster than animating.

Navigation animations are now handled in a more robust way, so that the next
page is shown after the currently running animation has completed.

Caster/denvelop,Caster/denvelop,Caster/denvelop