SmartRPA: A Tool to Reactively Synthesize Software Robots from User Interface Logs