Tuxedo, a lightweight task management tui