added LogManager.java (unimplemented),
changed font combo box names,
added some logs,
added setting listview font in VocabularyAdapter.java,
added getTypeface() in Settings.java,
split getVocabularies() in VocabularyManager.java into FromWeb and FromDisk,
finished MySQLiteHelper.java,
finished VocabularyManager.java,
implemented list updates in VocabularyListFragment.java,
All updates are untested.