Update tor copyright headers to year 2018

Now it says:

 * Copyright (c) 2007-2017, The Tor Project, Inc. */

Should be updated to 2018. We have updateCopyright.pl for this.