If there are no focused goals, print the unfocused goals
If there are no focused goals, print the unfocused goals

Match the coqide's goal message format. This is important for indicating
whether an unfocused goal needs to be focused or the proof is done.

bluelightning32/coquille