new favicon for german languages. some type fixes.
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5 into de-DE
Get rid of the old print command

We’ll be introducing a help command to replace it
Add support for retrieving formatted text content from the fake dom

The idea is to convert HTML block elements into newlines, so that the
output is readable on a terminal.
Add a new "commands" filter
Add help command
Move command documentation into the core
Docs update
Merge pull request #437 from pmario/de-DE

de-DE added favicon and typo fixes
changed favicon, so flag colors are right now
Add first pass at a tag manager

As independently suggested by @Skeeve and @Spangenhelm
Whoops, retract change to defaulttiddlers
Use proper tag pills in the tag manager
More tag colours
Remove some coloured tag pills

When we render the static representation we get case insensitive
titles, so “community” overwrites “Community”, unhelpfully.
Keep up-to-date changes for chinese translation
Docs update
Typo in transclusion.
Translation of new Help directory on server commands. Plus minor improvements on previous translated strings.
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5 into de-DE