ghcide-0.4.0: The core of an IDE