Pretty-print warnings (fixes #20)