ghcide-0.5.0: The core of an IDE