[options] added link to manifests
[options] relayout WIP
[options] changed layout of source lists
Merge branch 'develop' into dev-newoptions
[project] moved to the new colours
[options] small layout tweak
[options] allow drag and drop only with panel header
[options] border-radius tweaks
[options] no longer switch text when hovering over buttons
[options] removed the link in the manifest names
[options][search] support for "error" and "unknown" factions
[options] settings update
- added new settings, removed superfluous ones
- use checkboxes instead of buttons...
- split the enormous options.coffee in manageable parts

TODO
- add support for show-hide-self
- add support for show-export
[background] added support for hide-self
[options] typo fixed, and load OID on page load
[export] fixed export when hide-self is active
[background] fixed bug when setting options before manifests were loaded
[content] support for the 'hide export button' setting
[background] fixed bug where sources linked to communities/events weren't shown
[options] some content tweaks
[options] moved to "set options and save" instead of saving every option change