Update README to include new codex format command.

Also, you might like the fact that the last version of codex (0.2.0.0), will include as well the tags of the current project in the generated `codex.tags`.

That is why I removed the section about hasktags, as there is no need of using it directly.