Fixed pushing of tokens to token reception server.
Migrated database to a new format, with independent lists of tokens for each kind of device, iOS and Android.