feat(shell): remove '--server' command line option when compiling with -DMULTI_THREAD=OFF

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(shell): remove '--server' command line option when compiling with -DMULTI_THREAD=OFF