optionally copy files on server restart

The compiled routing profiles cannot be overwritten while osrm-routed
is running. Copy them instead between killing and restarting of the
server processes.