Clean up CompilationError.to_str()

Use a suggestion from Léo Testard replying to:
https://mail.mozilla.org/pipermail/rust-dev/2013-November/006505.html