Changed command line option --smart to --smart-terminal, to be clearer to new users who haven't read the ninja --help

Change-Id: I0dda064c7ef299d150a6d09633e66553b909f97a