Serve minified webcomponents.js, always

Workaround for #823. Also fixes #822.