Some more fixes for the gmail labels thing

This sequence of 3 commits introduces some more fixes to the gmail labels code:
  1. Update the man page: the sqlite backend is no longer required.
  2. Make syncmessagesto_labels private.
  3. Fix an issue with copymessageto. It can't be private since we override it in GmailFolder.