Testing framework: add missing `Test.drop_context`

type:added

For LIGO developers

As noted by Rémi, there's a missing Test.drop_context : unit -> unit.

This MR adds it.

Changelog details:

New Test function: drop_context

A new val Test.drop_context : unit -> unit in the testing framework is introduced. It allows to drop contexts from the context stack.