Miner: Dig Deep: Patch for changing music volume

The volume of the music can now be changed from the options screen.