Adding config_restart_timestamp_filename

As a namelist parameter to control the name of the file that restart
timestamps are written to.