Update RELEASE-0.5.md
Merge pull request #225 from joneshf/remove-lint

Removed most lint.
Some Prelude fixes
Forgot other modules for psci.