Plays a sound when changing volume.
Merge branch 'master' of github.com:GL-MPRI-2014/GL_MPRI_2014

Conflicts:
	src/interface/SettingsScreen.ml
Merge branch 'master' of github.com:GL-MPRI-2014/GL_MPRI_2014