This may help with bug #27, but it doesn't solve it in all cases (eg the
contact's device restarting).

Dev task #52. Known but unverified identities are also supported, but
currently unused. These will be used in future for contacts who've been
introduced but not verified face to face.

This should've been changed when restricted groups were removed.

This partially fixes dev task #40. CreateIdentityActivity is also called
from AddContactActivity, but that's likely to change soon so I'm not
going to fix it now.

This way the tests won't show up as having run if they didn't.

Direct P2P connections between mobile devices are unlikely to work, and
they'd expose the social graph to surveillance.

Leaving the expiry date at 22 January until the fix is confirmed.

The new format is simpler but less efficient for small integers, short
strings and short byte arrays.

Note that this is only the generator part of Fortuna, not the
accumulator. The generator requires a seed, which is provided by a
platform-specific implementation of SeedProvider. On Linux the
implementation reads the seed from /dev/urandom.

If the schema of the database is incompatible with the schema expected
by the code, the database throws a DbSchemaException. LifecycleManager
indicates the error to BriarService, which uses HomeScreenActivity to
show a notification and quit the app.