[ Data.Unit ] Removed unnecessary importation.
Renamed Data.Unit.Core to Data.Unit.NonEta

Data.Unit.Core isn't a "Core" module (i.e. a module to avoid mutual
recursion between modules).
Merge branch 'unit' of /home/asr/agda-stdlib-2.4.2.1

Conflicts:
	src/Data/Unit.agda