rename doc/README.txt to readme.txt