Case split and tactics via refinery

Bump ghcide submodule to get completion for local variables.

Co-authored-by: Zubin Duggal <zubin@cmi.ac.in>