A pretty print for this help

Property definitions

opts $ Option :: pretty
	# A pretty print for this help
	fun pretty(off: Int): String
	do
		var text = new FlatBuffer.from("  ")
		text.append(names.join(", "))
		text.append("  ")
		var rest = off - text.length
		if rest > 0 then text.append(" " * rest)
		text.append(helptext)
		#text.append(pretty_default)
		return text.to_s
	end
lib/opts/opts.nit:72,2--83,4

opts $ OptionText :: pretty
	redef fun pretty(off) do return to_s
lib/opts/opts.nit:107,2--37