Tail recursive implementations of foldr for Vect and List

This patch was proposed earlier with a failing regression test, but the failure was identified as an instance of https://github.com/idris-lang/Idris-dev/issues/443 which is unrelated to foldr and tail recursion.