git-remote-mediawiki: make mediafiles export optional