a simple music player for the raspberry pi using vellemans k8055 board for user input