Consolidating mailing lists

hey folks,

we've looked at the number of mailing lists we have and it's just too
many for the size of the community. over the next hour, we'll make the
following changes...

opendatakit-implementers@googlegroups will merge into opendatakit@googlegroups
opendatakit-users@googlegroups will merge into opendatakit@googlegroups
opendatakit-developers will stay as is.

you don't have to do anything. everything will happen automatically,
but i just wanted to give everyone a heads up.

yaw