Array.copy(): Also set the queue of the new array.

Also documents Array.copy(), bumps the version, and fixes a folding error in array.py.

This closes issue 184 on github.