Made Proofview.Goal.hyps a named_context.

There was really no point in having it be a named_context val. The tactics are not going to access the vm cache. Only vm_compute will.