A "universal" TV remote Android application