Add erasure postulates for unsafePerformPrimIO.
Add the test to the cabal file.
Merge branch 'fix-unsafeperformio' of https://github.com/ziman/idris into ziman-fix-unsafeperformio

Conflicts:
	idris.cabal