renamed README.pandoc and README.pdf so that github finds README.html