Wikibot v1.2.0

Changelog

New features:

• Custom User-Agent (269a7a5)
• New dashboard! (5c96df3)

Bug fixes:

• --index-check-threshold now correctly uses a double and not an int (9e182ae)
• --api_chunksize is no longer incorrectly named --api-chunksize (2040cb7)
• Add --force as a DokuWikiDumper option (269a7a5)
• Add --insecure as a WikiTeam3 option (269a7a5)