Use 'grep' to extract the copyright notice from Copyright.txt instead of
duplicating it in the bootstrap script.