Add `--ns` commaand line flag. This works just like `-n`, but it
creates a .scrbl file, instead.