Make dir Integration. Move inverse-differentiation, add properties.

Move some of the stuff about integration into Integration/properties. All chapters of Integration belong in this folder.
Add .pdf and .glsdefs to .gitignore.
Continue to write explanation of antiderivative.