Added view for retrieving errors
Merge branch 'zanzibar' of github.com:mikeymckay/coconut into zanzibar