Change username in discourse

[miri64]

Moved to meta, since this is a question about the forum, not RIOT