fix(library/tactic/goal): avoid unnecessary line break when possible
feat(library/tactic/goal): add option `pp.compact_goals`
feat(frontends/lean/info_manager): add separator `--` when displaying PROOF_STATE info

This feature was implemented to address issue #259