README.md:
Add license statement to README, specifying that devtools is licensed
under the terms of the GPL-3.0-or-later.