README.md: remind myself about the yum command to get devtools