remark about missing native compiler
clarified Problems section in README
Merge pull request #29 from benediktahrens/readme

remark about missing native compiler
Merge pull request #30 from vladimirias/master

Synching multiple changes
Merge pull request #10 from UniMath/master

Merging updates from the main repository