Xiaomi’s ultra bang-for-your-buck budget phone, the Redmi 1s, is here.