An Android app to customize LED notifications