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.
Now it says:
* Copyright (c) 2007-2017, The Tor Project, Inc. */
Should be updated to 2018. We have updateCopyright.pl for this.