[ doc, build ] Update installation information in the readme #680

Job	Run time
Build DepTyCheck docs	33s
Prepare `pack`	9m 40s
Build thirdparties	3m 6s
Build DepTyCheck lib	2m 28s
Test DepTyCheck docs	1m 46s
Build PIL example	3m 36s
Test DepTyCheck lib	18m 1s
Aquire test sets for derivation	4s
Test DepTyCheck's derivation (arg-deps)	1m 35s
Test DepTyCheck's derivation (canonicsig)	1m 33s
Test DepTyCheck's derivation (cons-analysis)	1m 40s
Test DepTyCheck's derivation (derivation/core)	7m 37s
Test DepTyCheck's derivation (derivation/distribution)	6m 13s
Test DepTyCheck's derivation (derivation/infra)	9m 12s
Test DepTyCheck's derivation (derivation/least-effort/print/adt)	8m 23s
Test DepTyCheck's derivation (derivation/least-effort/print/gadt)	16m 1s
Test DepTyCheck's derivation (derivation/least-effort/print/regression)	4m 14s
Test DepTyCheck's derivation (derivation/least-effort/run/adt)	9m 46s
Test DepTyCheck's derivation (derivation/least-effort/run/gadt)	15m 1s
Test DepTyCheck's derivation (derivation/least-effort/run/regression)	3m 37s
Test DepTyCheck's derivation (inputvalidation)	1m 19s
Test DepTyCheck's derivation (up-to-renaming-ttimp-eq)	1m 11s
Test PIL example	1m 12s
	2h 7m 48s

Provide feedback