Move allow_no_extension to global

Though, if we have ``rdmd`` - wouldn't that make ``-run`` a deprecated feature of dmd?

Just thinking out loud.