feat(topology/metric_space/gluing): Gluing metric spaces (leanprover-…

…community#695)

refactor(*): refactor associates (leanprover-community#710)

feat(algebra/archimedean): add fractional parts of floor_rings (leanp…

…rover-community#709)

feat(tactic/tidy): add `tidy?` syntax for reporting a tactic script (l…

…eanprover-community#704)

 feat(data/polynomial): multiplicity of roots of polynomials (leanpro…

…ver-community#656)

* feat(data/polynomial): multiplicity of roots of polynomials

* rename lemmas

* use section

* use `nonzero_comm_ring.of_ne`

* refactor(polynomial): weaken decidablility hypothesis

* indentation

* swap order of arguments

 refactor(geo_sum): remove duplicate proofs about geometric sums (lea…

…nprover-community#706)

* feat(data/finset): add range_add_one

* feat(algebra/big_operators): geometric sum for semiring, ring and division ring

* refactor(geo_sum): remove duplicate proofs about geometric sums

add geometric sum (leanprover-community#701)

* feat(data/finset): add range_add_one

* feat(algebra/big_operators): geometric sum for semiring, ring and division ring

build(update-mathlib): adjust the header of python script

deploy(olean): new script to download and expand the olean archive

build(update-mathlib): fix installation and documentation