Some lib changes.

Add Data.Vect.scanl, and Data.Bits.truncate.

These are things I’ve needed while working on idris-hackers/idris-crypto.