Convert MediaWiki into an ikiwiki while preserving all history