for #33: add setting activity (Android)