Merge branch 'version-0.3' into develop
Merge branch 'version-0.3' into develop
Merge branch 'version-0.3' into develop
Merge branch 'version-0.3' into develop
[content] Updated helper page info about extra tags

Added event info and an example to the helper page
[project] minify class.js as well
[help] added navigation/ToC
Merge branch 'version-0.3' of github.com:bgotink/IngressIdentity into version-0.3

Conflicts:
	help.html
[help] small layout tweak
[backend] also cache nonexisting players
[options] fixed typo
[project] added Sugar.js

Replaced all `if (a in b)`, `for (a in b)`, `a.indexOf(b) === -1`, and poor
attempts at capitalisation with the right sugar.js calls
[options] fixed bug where manifests couldn't be removed

due to the latest relayouting of the options page, the jQuery code didn't
work anymore
Merge branch 'version-0.3' into develop
[backend] filter invalid oids from player lists
simply don't count these as players
fixes #22
[backend] fixed bug
only occured when reloading the extension and immediately
opening the options page
[options] show more feedback when loading manifests
[backend] small change
[options] fix for remove button behaviour
[help] more extensive help page