Rename ops-viewer to magicmirror
Drop libgit2: the server now links no GPL code
Fix the tag filter, drop dead CSS, correct the credits page
Retire sando-tui and bento-tui for the shared ops-viewer