rcutorture/nolibc: Add a bit of documentation to explain how to use nolibc