Add --junit option to prove command.