A smart configurable timer for Android