Make juvix init
non-interactive by default
#3206
Merged
juvix init
non-interactive by default
#3206