An android app to control the Banshee media player in Linux