left-align Isabelle listings