Add Settings Activity.

The Settings Activity makes it possible to change:
 - the language of most interface texts (closes #16)
 - the verification specification (closes #17)
Merge branch 'settings'