Mediawiki import

This is a first version to import a media wiki.

It's a plugin, and use mediawiki to import everything.

Mediawiki is converted to markdown.
It's possible to map mediawiki's users to internal django user.
Links are rewritten.

Images aren't imported yet.