An Android app for Open Sprinkler