Username change

I recently changed my Github username to "timdavies". Previously I was "dotty". I've updated with the new link to the project.