Added Array utilities
Added Array utilities

This is a small set of array utilities which are used quite a lot
throughout the Whiley compiler.  This set will grow as I move more stuff
into it over time.

Whiley/WhileyCompilerCollection