Cleaned up mediawiker, removing/simplifying dict-related code and adding docstrings.
Can now define cookies in the settings, which are passed to the connection. Also works with https.
Fixed filesystem-friendly title-to-filename conversion feature including quote_plus option.