Make the timing files more robust

Now if the makefile isn't in the top-level directory, we can just change
pushd-root, and the timing files will still be found correctly.  (We also
don't rely on being in <root>/etc/timing anymore.