Updated the README.

I also fixed a bug, but accidentally screwed up the repository while
doing it... If you had checked libctf out before, please do so again.