Super-simple script to set android proxy

For discussion / demo really