Android widget to switch the available location providers on and off