Bash script I made for using the same media keys for both spotify and another media player (banshee in my case)