v1.5-nomusic
(1) added standard android key press sound
(2) several preference changes and additions
(3) button vibration duration is no longer increased by 5 ms
(4) string changes on account of (2) and (3)
(5) sounds and vibrations are now muteable by global system settings