Rename readme.lhs to readme.markdown