Delete params.json

I don't think we'll need this unless we decide we want to use
the GitHub Pages page generator again.