improve README for Ubuntu
improve README for Ubuntu
update README
add README for UniMath directory

It explains how to add packages and how to add files
to packages.
rename Makefile-configuration.template
update README
Merge branch 'master' into FOLDS
some further in FOLDS