Delete params.json

As best I can tell, this is only needed by the old GitHub Automatic
Pages system.  I speculate this file's existence is the reason by Pages
aren't being rebuilt on GitHub's servers.