[RG 7] Update README and tools/build/Makefile.in

Note to the January releaser: don't forget to update the copyright
end-year in the README! :)