Revised append to allow multiple arguments

append now takes any number of lists (but at least 2).  The old append
is now demoted to append1, but remains because it acts as a helper
function for new append.