[ux] filtering and badges

* Add rules badge, and filename badge for codemirror
* Add filtering based on filename
* Add CSP-compliant prettify back in