Mention in lib.cabal that the license is MIT

Cherry-picked from https://github.com/agda/agda-stdlib/commit/5cb3693802341d43ccb9d54cc1d8f13182629827.
Add a Data.Bool.Core module and use when possible

Cherry-picked from https://github.com/agda/agda-stdlib/commit/3c2c3d2571412bd5f9aebf0164d08bb37e622de7.
Introduce Data.Unit.Minimal

This module avoids importing from Relation.Binary.*

Conflicts:
	src/Data/Unit.agda

Cherry-picked from https://github.com/agda/agda-stdlib/commit/3c2c3d2571412bd5f9aebf0164d08bb37e622de7.
Rework Data.Bool.Core as Data.Bool.Minimal

Data.Bool.Minimal only imports "minimal" modules
(here Data.Unit.Minimal and Data.Empty).

Additionally to the type the simple operations on
boolean values have been moved to Data.Bool.Minimal.

These minimal modules helps cutting down the number of
modules to be compiled.

Cherry-picked from https://github.com/agda/agda-stdlib/commit/9ebeb181a517fc317b0858748a7c40403c697aff.
Add a Data.Maybe.Minimal module

Cherry-picked from https://github.com/agda/agda-stdlib/commit/19405dd9ed6f3e1e6c2dc35510260209623fd06a.
Merge branch '2.4.2.1'