Remove unnecessary line from Ur/Web configuration file
Merge pull request #1068 from achlipala/master

Ur/Web: Cleanup config file