Feature Request: fold pattern matching in Gallina

[liyishuai]

It'll be nice to fold long definitions into:

Definition foo :=
  match bar with
  | Bar1 => [...] 
  | Bar2 => [...]
  end.

so that they can fit in one screen.