Rename readme. lhs to readme.lhs