remove useless use of cat for printing config.mak
    
    This `cat config.mak` was added in 37cec08 (Print config.mak to aid
    confirmation/verification of settings, 2019-02-02).  Replace it by
    piping the earlier cat through tee so we get a copy of the config on
    stdout as well as written to config.mak.