TiVo is developing a new set-top box user interface that can also run on top of Android