contexts v0.5.0

This release renames the plugin to "contexts", and switches to the syntax x ⊢ { ... }. Note that support for contexts with several arguments has been dropped.