A link to UniMath is added to README