ctsToDiscrete

1. Define inflation and restriction maps in continuous cohomology. This is achieved in the files "Inflation.lean" and "Restriction.lean".

2. In the case that G is a discrete topological group, define an isomorphism between the continuous cohomology of G and the abstract group cohomology of G. This is achieved by a series of isomorphisms of functors in various files.