rename and improve literate prog readme file