agda-pretty: mark as broken

Broken by updating the stdlib to 0.9. For now I let the author know.