A GUI tool to record mouse actions and play