added library license file - see branch 2.0 on main development
Merge branch 'universe-article' of github.com:sattlerc/HoTT-Agda into universe-article
added library license file - see branch 2.0 on main development