An Android music app controlled by gestures