Explicit rst

Files ending in _rst.v are processed as reStructuredText regardless of the DEFAULT_MARKUP setting:

Compute ((fun (n: nat) (opt: option nat) (eq: opt = Some n) => n)
           _ (Some 3) eq_refl).
= 3
: nat